Alan is a round fellow, but he is kind, even when he is so cold he turns blue. Red Charlie is what folks call him, because he is quite red. Upon meeting Eric, you'll notice he's green and kind. Kind young Gary is also a nice person that became red and green from painting Christmas decorations. If you meet a young, round person who is nice on the street, offer them your coat because they are cold. People who are rough are young. A big person who looks blue is also going to look young. Someone big and rough in shape is always kind. Someone with the traits of being cold and red is also going to be someone who is big. Blue people round with fat are red from too much time in the sun.
If someone is round and nice and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and red then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and round then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Gary is nice.
True
1
proof
[(triple10)]
("Gary" "is" "nice" "+")
triple10
Alan is not cold.
False
1
inv-proof
[(triple3)]
("Alan" "is" "cold" "-")
triple3
Alan is red.
True
3
proof
[(((triple4 triple1) -> rule6))]
("Alan" "is" "red" "+")
((triple4 triple1) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is not red.
False
3
inv-proof
[(((triple4 triple1) -> rule6))]
("Alan" "is" "red" "-")
((triple4 triple1) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is big.
True
5
proof
[(((triple3 ((triple4 triple1) -> rule6)) -> rule5))]
("Alan" "is" "big" "+")
((triple3 ((triple4 triple1) -> (rule6 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is not big.
False
5
inv-proof
[(((triple3 ((triple4 triple1) -> rule6)) -> rule5))]
("Alan" "is" "big" "-")
((triple3 ((triple4 triple1) -> (rule6 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is young.
True
7
proof
[(((triple4 ((triple3 ((triple4 triple1) -> rule6)) -> rule5)) -> rule3))]
("Alan" "is" "young" "+")
((triple4 ((triple3 ((triple4 triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is not young.
False
7
inv-proof
[(((triple4 ((triple3 ((triple4 triple1) -> rule6)) -> rule5)) -> rule3))]
("Alan" "is" "young" "-")
((triple4 ((triple3 ((triple4 triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Charlie is not big.
Unknown
inv-rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not big.
Unknown
inv-rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Gary" "is" "big" "-")
Eric is big.
Unknown
rconc
[@2: Eric is big.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Eric" "is" "big" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
@0: Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is kind.[(triple2)] Alan is round.[(triple1)] Charlie is red.[(triple5)] Eric is green.[(triple7)] Eric is kind.[(triple6)] Gary is green.[(triple12)] Gary is kind.[(triple11)] Gary is nice.[(triple10)] Gary is red.[(triple9)] Gary is young.[(triple8)] @1: Alan is red.[(((triple4 triple1) -> rule6))] @2: Alan is big.[(((triple3 ((triple4 triple1) -> rule6)) -> rule5))] @3: Alan is young.[(((triple4 ((triple3 ((triple4 triple1) -> rule6)) -> rule5)) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Alan is red.
("Alan" "is" "red" "+")
((triple4 triple1) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
((triple3 ((triple4 triple1) -> (rule6 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((triple4 ((triple3 ((triple4 triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is a round fellow, but he is kind, even when he is so cold he turns blue.
Red Charlie is what folks call him, because he is quite red.
Upon meeting Eric, you'll notice he's green and kind.
Kind young Gary is also a nice person that became red and green from painting Christmas decorations.
If you meet a young, round person who is nice on the street, offer them your coat because they are cold.
People who are rough are young.
A big person who looks blue is also going to look young.
Someone big and rough in shape is always kind.
Someone with the traits of being cold and red is also going to be someone who is big.
Blue people round with fat are red from too much time in the sun.