The cold, nice, kind man with a round body is known as Alan. Red Bob is what folks call him, because he is quite red. Charlie is a round fellow, but he is kind, even when he is so cold he turns blue. Dave is a kind and red colored guy. A green person who is cold and round is also big. Big, young people feel cold all the time. If you see someone who is red and green they are round, like Santa Claus. A human that's cold also means they are a human that is young. Young and kind folks are always big. Young people with red skin that play rough are actually quite kind. Someone who is cold and big is also a red person.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
If someone is cold and round and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is young and rough and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Charlie is cold.
True
1
proof
[(triple8)]
("Charlie" "is" "cold" "+")
triple8
Alan is not round.
False
1
inv-proof
[(triple1)]
("Alan" "is" "round" "-")
triple1
Alan is young.
True
2
proof
[(((triple4) -> rule4))]
("Alan" "is" "young" "+")
((triple4) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is not young.
False
2
inv-proof
[(((triple4) -> rule4))]
("Alan" "is" "young" "-")
((triple4) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is big.
True
4
proof
[(((triple3 ((triple4) -> rule4)) -> rule5))]
("Alan" "is" "big" "+")
((triple3 ((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Charlie is not big.
False
4
inv-proof
[(((triple7 ((triple8) -> rule4)) -> rule5))]
("Charlie" "is" "big" "-")
((triple7 ((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Alan is red.
True
6
proof
[(((((triple3 ((triple4) -> rule4)) -> rule5) triple4) -> rule7))]
("Alan" "is" "red" "+")
((((triple3 ((triple4) -> (rule4 % int3))) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Charlie is not red.
False
6
inv-proof
[(((((triple7 ((triple8) -> rule4)) -> rule5) triple8) -> rule7))]
("Charlie" "is" "red" "-")
((((triple7 ((triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple8) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Bob" "is" "big" "-")
Dave is cold.
Unknown
rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Dave" "is" "cold" "+")
Bob is not cold.
Unknown
inv-rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Bob" "is" "cold" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "round" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Alan is cold.[(triple4)] Alan is kind.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1)] Bob is red.[(triple5)] Charlie is blue.[(triple9)] Charlie is cold.[(triple8)] Charlie is kind.[(triple7)] Charlie is round.[(triple6)] Dave is kind.[(triple11)] Dave is red.[(triple10)] @1: Alan is young.[(((triple4) -> rule4))] Charlie is young.[(((triple8) -> rule4))] @2: Alan is big.[(((triple3 ((triple4) -> rule4)) -> rule5))] Charlie is big.[(((triple7 ((triple8) -> rule4)) -> rule5))] @3: Alan is red.[(((((triple3 ((triple4) -> rule4)) -> rule5) triple4) -> rule7))] Charlie is red.[(((((triple7 ((triple8) -> rule4)) -> rule5) triple8) -> rule7))]
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple9
Charlie is cold.
("Charlie" "is" "cold" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple11
Dave is red.
("Dave" "is" "red" "+")
triple10
Alan is young.
("Alan" "is" "young" "+")
((triple4) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple8) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
((triple3 ((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((triple7 ((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((((triple3 ((triple4) -> (rule4 % int3))) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((((triple7 ((triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple8) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
The cold, nice, kind man with a round body is known as Alan.
Red Bob is what folks call him, because he is quite red.
Charlie is a round fellow, but he is kind, even when he is so cold he turns blue.
Dave is a kind and red colored guy.
A green person who is cold and round is also big.
Big, young people feel cold all the time.
If you see someone who is red and green they are round, like Santa Claus.
A human that's cold also means they are a human that is young.
Young and kind folks are always big.
Young people with red skin that play rough are actually quite kind.
Someone who is cold and big is also a red person.