That rough but kind guy is Alan, the green one. In the snow sits Charlie, crying from being cold. Big Eric is fairly young. When he was a small child he would wear his parka and you could see his little green body in the distance. His lips would turn blue when he was cold. Gary is both big and round, with blue features. A cold, rough person is also round. Fat, round people who are green with envy and notoriously rough. Young, round, and cold people have a habit of looking pretty red. A kind and green person who is rough around the edges is cold. Kind big people are green and young. A nice and colored blue person will be rather big. A person that is rough and round shaped features are going to be red.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is rough and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is green and round then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and young and round then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is green and rough and kind then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and green and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and nice then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is round and rough then they are red.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Eric is blue.
True
1
proof
[(triple8)]
("Eric" "is" "blue" "+")
triple8
Eric is not young.
False
1
inv-proof
[(triple5)]
("Eric" "is" "young" "-")
triple5
Alan is cold.
True
4
proof
[(((triple3 triple1 triple2) -> rule4))]
("Alan" "is" "cold" "+")
((triple3 triple1 triple2) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is not cold.
False
4
inv-proof
[(((triple3 triple1 triple2) -> rule4))]
("Alan" "is" "cold" "-")
((triple3 triple1 triple2) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is round.
True
6
proof
[(((triple1 ((triple3 triple1 triple2) -> rule4)) -> rule1))]
("Alan" "is" "round" "+")
((triple1 ((triple3 triple1 triple2) -> (rule4 % int2))) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not round.
False
6
inv-proof
[(((triple1 ((triple3 triple1 triple2) -> rule4)) -> rule1))]
("Alan" "is" "round" "-")
((triple1 ((triple3 triple1 triple2) -> (rule4 % int2))) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is red.
True
8
proof
[(((((triple1 ((triple3 triple1 triple2) -> rule4)) -> rule1) triple1) -> rule7))]
("Alan" "is" "red" "+")
((((triple1 ((triple3 triple1 triple2) -> (rule4 % int3))) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is not red.
False
8
inv-proof
[(((((triple1 ((triple3 triple1 triple2) -> rule4)) -> rule1) triple1) -> rule7))]
("Alan" "is" "red" "-")
((((triple1 ((triple3 triple1 triple2) -> (rule4 % int3))) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is red.
Unknown
rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Charlie" "is" "red" "+")
Gary is not red.
Unknown
inv-rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "young" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is rough.[(triple1)] Charlie is cold.[(triple4)] Eric is big.[(triple9)] Eric is blue.[(triple8)] Eric is cold.[(triple7)] Eric is green.[(triple6)] Eric is young.[(triple5)] Gary is big.[(triple12)] Gary is blue.[(triple11)] Gary is round.[(triple10)] @1: Alan is cold.[(((triple3 triple1 triple2) -> rule4))] @2: Alan is round.[(((triple1 ((triple3 triple1 triple2) -> rule4)) -> rule1))] @3: Alan is red.[(((((triple1 ((triple3 triple1 triple2) -> rule4)) -> rule1) triple1) -> rule7))]
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple10
Alan is cold.
("Alan" "is" "cold" "+")
((triple3 triple1 triple2) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((triple1 ((triple3 triple1 triple2) -> (rule4 % int2))) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((((triple1 ((triple3 triple1 triple2) -> (rule4 % int3))) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
That rough but kind guy is Alan, the green one.
In the snow sits Charlie, crying from being cold.
Big Eric is fairly young; When he was a small child he would wear his parka and you could see his little green body in the distance; His lips would turn blue when he was cold.
Gary is both big and round, with blue features.
A cold, rough person is also round.
Fat, round people who are green with envy and notoriously rough.
Young, round, and cold people have a habit of looking pretty red.
A kind and green person who is rough around the edges is cold.
Kind big people are green and young.
A nice and colored blue person will be rather big.
A person that is rough and round shaped features are going to be red.