Alan is rough around the edges, but he's often blue and always nice. Eric has a round face and is very nice. Gary is blue and cold. Harry is rough and is blue, but that's because he's big and round in a small and square world. A big person who is red and nice to others is also young. Round, rough people blue with sadness turn out to be green. Someone who is colored both in red and green, while being kind to others, is a round person. Rough and green people are also nice. I've noticed that red, cold people who are kind have the trait of rough skin. Young, round people seem to be big in our experience. If a person has round shape then they are also green and red.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and nice and big then they are young.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and round and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is red and green and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and green then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and cold and red then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and round then they are big.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is green and round then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Harry is blue.
True
1
proof
[(triple10)]
("Harry" "is" "blue" "+")
triple10
Gary is not blue.
False
1
inv-proof
[(triple7)]
("Gary" "is" "blue" "-")
triple7
Harry is green.
True
4
proof
[(((triple10 triple8 triple9) -> rule2))]
("Harry" "is" "green" "+")
((triple10 triple8 triple9) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
4
inv-proof
[(((triple10 triple8 triple9) -> rule2))]
("Harry" "is" "green" "-")
((triple10 triple8 triple9) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
True
6
proof
[(((triple9 ((triple10 triple8 triple9) -> rule2)) -> rule4))]
("Harry" "is" "nice" "+")
((triple9 ((triple10 triple8 triple9) -> (rule2 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not red.
False
6
inv-proof
[(((((triple10 triple8 triple9) -> rule2) triple8) -> rule7))]
("Harry" "is" "red" "-")
((((triple10 triple8 triple9) -> (rule2 % int2)) triple8) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
True
14
proof
[(((((((triple10 triple8 triple9) -> rule2) triple8) -> rule7) ((triple9 ((triple10 triple8 triple9) -> rule2)) -> rule4) triple11) -> rule1))]
("Harry" "is" "young" "+")
((((((triple10 triple8 triple9) -> (rule2 % int4)) triple8) -> (rule7 % int3)) ((triple9 ((triple10 triple8 triple9) -> (rule2 % int4))) -> (rule4 % int2)) triple11) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is not young.
False
14
inv-proof
[(((((((triple10 triple8 triple9) -> rule2) triple8) -> rule7) ((triple9 ((triple10 triple8 triple9) -> rule2)) -> rule4) triple11) -> rule1))]
("Harry" "is" "young" "-")
((((((triple10 triple8 triple9) -> (rule2 % int4)) triple8) -> (rule7 % int3)) ((triple9 ((triple10 triple8 triple9) -> (rule2 % int4))) -> (rule4 % int2)) triple11) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Gary is not big.
Unknown
inv-rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Gary" "is" "big" "-")
Alan is red.
Unknown
rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Alan" "is" "red" "+")
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "green" "-")
Alan is young.
Unknown
rconc
[@2: Alan is young.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Alan" "is" "young" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
@0: Alan is blue.[(triple3)] Alan is nice.[(triple2)] Alan is rough.[(triple1)] Eric is nice.[(triple5)] Eric is round.[(triple4)] Gary is blue.[(triple7)] Gary is cold.[(triple6)] Harry is big.[(triple11)] Harry is blue.[(triple10)] Harry is rough.[(triple9)] Harry is round.[(triple8)] @1: Harry is green.[(((triple10 triple8 triple9) -> rule2))] @2: Harry is nice.[(((triple9 ((triple10 triple8 triple9) -> rule2)) -> rule4))] Harry is red.[(((((triple10 triple8 triple9) -> rule2) triple8) -> rule7))] @3: Harry is young.[(((((((triple10 triple8 triple9) -> rule2) triple8) -> rule7) ((triple9 ((triple10 triple8 triple9) -> rule2)) -> rule4) triple11) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
((triple10 triple8 triple9) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple9 ((triple10 triple8 triple9) -> (rule2 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((((triple10 triple8 triple9) -> (rule2 % int2)) triple8) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((((triple10 triple8 triple9) -> (rule2 % int4)) triple8) -> (rule7 % int3)) ((triple9 ((triple10 triple8 triple9) -> (rule2 % int4))) -> (rule4 % int2)) triple11) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Alan is rough around the edges, but he's often blue and always nice.
Eric has a round face and is very nice.
Gary is blue and cold.
Harry is rough and is blue, but that's because he's big and round in a small and square world.
A big person who is red and nice to others is also young.
Round, rough people blue with sadness turn out to be green.
Someone who is colored both in red and green, while being kind to others, is a round person.
Rough and green people are also nice.
I've noticed that red, cold people who are kind have the trait of rough skin.
Young, round people seem to be big in our experience.
If a person has round shape then they are also green and red.