That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Alan. Even though he's young and green, Charlie is rough. If you meet a nice, young, red man, you will see that they are big too. If the person is big and cold then as a rule they must be green. If someone has a red face and feels blue and has a round body then you'll automatically think they are big. It is true that anyone who is cold while being young and nice is secretly a kind person. A round shaped and red person is definitely nice. Being green, blue, and red all point to how young someone was. A rough, big, and round person can't help but be kind as well.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
If someone is young and nice and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is big and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is red and blue and round then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and cold and young then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and red then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and blue and red then they are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and big and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
Charlie is young.
True
1
proof
[(triple7)]
("Charlie" "is" "young" "+")
triple7
Alan is not round.
False
1
inv-proof
[(triple1)]
("Alan" "is" "round" "-")
triple1
Alan is big.
True
4
proof
[(((triple3 triple6 triple1) -> rule3))]
("Alan" "is" "big" "+")
((triple3 triple6 triple1) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is not big.
False
4
inv-proof
[(((triple3 triple6 triple1) -> rule3))]
("Alan" "is" "big" "-")
((triple3 triple6 triple1) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is green.
True
6
proof
[(((((triple3 triple6 triple1) -> rule3) triple5) -> rule2))]
("Alan" "is" "green" "+")
((((triple3 triple6 triple1) -> (rule3 % int2)) triple5) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is not green.
False
6
inv-proof
[(((((triple3 triple6 triple1) -> rule3) triple5) -> rule2))]
("Alan" "is" "green" "-")
((((triple3 triple6 triple1) -> (rule3 % int2)) triple5) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
True
9
proof
[(((((((triple3 triple6 triple1) -> rule3) triple5) -> rule2) triple6 triple3) -> rule6))]
("Alan" "is" "young" "+")
((((((triple3 triple6 triple1) -> (rule3 % int3)) triple5) -> (rule2 % int2)) triple6 triple3) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is not young.
False
9
inv-proof
[(((((((triple3 triple6 triple1) -> rule3) triple5) -> rule2) triple6 triple3) -> rule6))]
("Alan" "is" "young" "-")
((((((triple3 triple6 triple1) -> (rule3 % int3)) triple5) -> (rule2 % int2)) triple6 triple3) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "green" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "nice" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "nice" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Alan is blue.[(triple6)] Alan is cold.[(triple5)] Alan is kind.[(triple4 OR ((triple2 ((triple3 triple6 triple1) -> rule3) triple1) -> rule7) OR ((((triple1 triple3) -> rule5) triple5 ((((((triple3 triple6 triple1) -> rule3) triple5) -> rule2) triple6 triple3) -> rule6)) -> rule4))] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Charlie is green.[(triple9)] Charlie is rough.[(triple8)] Charlie is young.[(triple7)] @1: Alan is big.[(((triple3 triple6 triple1) -> rule3))] Alan is nice.[(((triple1 triple3) -> rule5))] @2: Alan is green.[(((((triple3 triple6 triple1) -> rule3) triple5) -> rule2))] @3: Alan is young.[(((((((triple3 triple6 triple1) -> rule3) triple5) -> rule2) triple6 triple3) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple6
Alan is cold.
("Alan" "is" "cold" "+")
triple5
Alan is kind.
("Alan" "is" "kind" "+")
triple4
((triple2 ((triple3 triple6 triple1) -> (rule3 % int2)) triple1) -> (rule7 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
((((triple1 triple3) -> (rule5 % int5)) triple5 ((((((triple3 triple6 triple1) -> (rule3 % int4)) triple5) -> (rule2 % int3)) triple6 triple3) -> (rule6 % int2))) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is nice.
("Alan" "is" "nice" "+")
int5
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Alan is big.
("Alan" "is" "big" "+")
((triple3 triple6 triple1) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((triple1 triple3) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((((triple3 triple6 triple1) -> (rule3 % int2)) triple5) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((((((triple3 triple6 triple1) -> (rule3 % int3)) triple5) -> (rule2 % int2)) triple6 triple3) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Alan.
Even though he's young and green, Charlie is rough.
If you meet a nice, young, red man, you will see that they are big too.
If the person is big and cold then as a rule they must be green.
If someone has a red face and feels blue and has a round body then you'll automatically think they are big.
It is true that anyone who is cold while being young and nice is secretly a kind person.
A round shaped and red person is definitely nice.
Being green, blue, and red all point to how young someone was.
A rough, big, and round person can't help but be kind as well.