Alan, who is a very nice man, is also quite round in shape. He found himself quite blue from being made fun of him, but that also made his face red with anger. Charlie has a round face and is very nice. When you meet Eric you'll the two characteristics that will standout is that he's red but also rough. Gary is big and green guy whose cold personality makes him seem very rough. Blue kind people are almost always nice to others. Nice people are kind and rough when they are young. If you're cold and red then you're nice. A person being big and rough makes them cold towards others but that also means that they are kind. If a person behaves in a nice way while they are physically blue and big, they're definitely round. A big, green person who is cold is assumed to be red also.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is blue and kind then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and red then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and big and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and blue and big then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green and big and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Gary is big.
True
1
proof
[(triple12)]
("Gary" "is" "big" "+")
triple12
Gary is not big.
False
1
inv-proof
[(triple12)]
("Gary" "is" "big" "-")
triple12
Gary is red.
True
4
proof
[(((triple10 triple12 triple11) -> rule6))]
("Gary" "is" "red" "+")
((triple10 triple12 triple11) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
4
inv-proof
[(((triple10 triple12 triple11) -> rule6))]
("Gary" "is" "red" "-")
((triple10 triple12 triple11) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
True
6
proof
[(((triple11 ((triple10 triple12 triple11) -> rule6)) -> rule3))]
("Gary" "is" "nice" "+")
((triple11 ((triple10 triple12 triple11) -> (rule6 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not nice.
False
6
inv-proof
[(((triple11 ((triple10 triple12 triple11) -> rule6)) -> rule3))]
("Gary" "is" "nice" "-")
((triple11 ((triple10 triple12 triple11) -> (rule6 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
True
12
proof
[(((((triple11 ((triple10 triple12 triple11) -> rule6)) -> rule3) ((triple11 triple12 triple9) -> rule4) triple9) -> rule2))]
("Gary" "is" "young" "+")
((((triple11 ((triple10 triple12 triple11) -> (rule6 % int4))) -> (rule3 % int3)) ((triple11 triple12 triple9) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is not young.
False
12
inv-proof
[(((((triple11 ((triple10 triple12 triple11) -> rule6)) -> rule3) ((triple11 triple12 triple9) -> rule4) triple9) -> rule2))]
("Gary" "is" "young" "-")
((((triple11 ((triple10 triple12 triple11) -> (rule6 % int4))) -> (rule3 % int3)) ((triple11 triple12 triple9) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "round" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "young" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "young" "-")
Alan is kind.
Unknown
rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "kind" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Alan is blue.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Charlie is nice.[(triple6)] Charlie is round.[(triple5)] Eric is red.[(triple8)] Eric is rough.[(triple7)] Gary is big.[(triple12)] Gary is cold.[(triple11)] Gary is green.[(triple10)] Gary is rough.[(triple9)] @1: Gary is kind.[(((triple11 triple12 triple9) -> rule4))] Gary is red.[(((triple10 triple12 triple11) -> rule6))] @2: Gary is nice.[(((triple11 ((triple10 triple12 triple11) -> rule6)) -> rule3))] @3: Gary is young.[(((((triple11 ((triple10 triple12 triple11) -> rule6)) -> rule3) ((triple11 triple12 triple9) -> rule4) triple9) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
((triple11 triple12 triple9) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple10 triple12 triple11) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple11 ((triple10 triple12 triple11) -> (rule6 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple11 ((triple10 triple12 triple11) -> (rule6 % int4))) -> (rule3 % int3)) ((triple11 triple12 triple9) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Alan, who is a very nice man, is also quite round in shape; He found himself quite blue from being made fun of him, but that also made his face red with anger.
Charlie has a round face and is very nice.
When you meet Eric you'll the two characteristics that will standout is that he's red but also rough.
Gary is big and green guy whose cold personality makes him seem very rough.
Blue kind people are almost always nice to others.
Nice people are kind and rough when they are young.
If you're cold and red then you're nice.
A person being big and rough makes them cold towards others but that also means that they are kind.
If a person behaves in a nice way while they are physically blue and big, they're definitely round.
A big, green person who is cold is assumed to be red also.