Others enjoy Alan's company because he is so nice and kind. Even though Bob is green with envy he is nice with rosy red cheeks. Even though Charlie is big and round, he is cold much of the time. Eric is rough and cold, but he's young and will get over it. A cold person who is round but rough around the edges is big. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. A big and round shaped person that is also cold will be blue in color. A green colored person will be young and also kind. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin. You can see that cold, blue people are round in shape.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
If someone is round and cold and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and big and round then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and blue and round then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Alan is nice.
True
1
proof
[(triple1)]
("Alan" "is" "nice" "+")
triple1
Charlie is not big.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "big" "-")
triple8
Charlie is blue.
True
4
proof
[(((triple7 triple8 triple6) -> rule3))]
("Charlie" "is" "blue" "+")
((triple7 triple8 triple6) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
4
inv-proof
[(((triple7 triple8 triple6) -> rule3))]
("Charlie" "is" "blue" "-")
((triple7 triple8 triple6) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
True
7
proof
[(((triple7 ((triple7 triple8 triple6) -> rule3) triple6) -> rule5))]
("Charlie" "is" "green" "+")
((triple7 ((triple7 triple8 triple6) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not green.
False
7
inv-proof
[(((triple7 ((triple7 triple8 triple6) -> rule3) triple6) -> rule5))]
("Charlie" "is" "green" "-")
((triple7 ((triple7 triple8 triple6) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
True
9
proof
[(((((triple7 ((triple7 triple8 triple6) -> rule3) triple6) -> rule5) triple8) -> rule2))]
("Charlie" "is" "nice" "+")
((((triple7 ((triple7 triple8 triple6) -> (rule3 % int3)) triple6) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not nice.
False
9
inv-proof
[(((((triple7 ((triple7 triple8 triple6) -> rule3) triple6) -> rule5) triple8) -> rule2))]
("Charlie" "is" "nice" "-")
((((triple7 ((triple7 triple8 triple6) -> (rule3 % int3)) triple6) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Eric is not nice.
Unknown
inv-rconc
[@4: Eric is nice.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule3 <- rule6 <- FAIL)]]
("Eric" "is" "nice" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "+")
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "round" "-")
Eric is round.
Unknown
rconc
[@2: Eric is round.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Eric" "is" "round" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Alan is kind.[(triple2)] Alan is nice.[(triple1)] Bob is green.[(triple5)] Bob is nice.[(triple4)] Bob is red.[(triple3)] Charlie is big.[(triple8)] Charlie is cold.[(triple7)] Charlie is round.[(triple6)] Eric is cold.[(triple11)] Eric is rough.[(triple10)] Eric is young.[(triple9)] @1: Charlie is blue.[(((triple7 triple8 triple6) -> rule3))] @2: Charlie is green.[(((triple7 ((triple7 triple8 triple6) -> rule3) triple6) -> rule5))] @3: Charlie is nice.[(((((triple7 ((triple7 triple8 triple6) -> rule3) triple6) -> rule5) triple8) -> rule2))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Eric is cold.
("Eric" "is" "cold" "+")
triple11
Eric is rough.
("Eric" "is" "rough" "+")
triple10
Eric is young.
("Eric" "is" "young" "+")
triple9
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple7 triple8 triple6) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple7 ((triple7 triple8 triple6) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple7 ((triple7 triple8 triple6) -> (rule3 % int3)) triple6) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Others enjoy Alan's company because he is so nice and kind.
Even though Bob is green with envy he is nice with rosy red cheeks.
Even though Charlie is big and round, he is cold much of the time.
Eric is rough and cold, but he's young and will get over it.
A cold person who is round but rough around the edges is big.
If someone is green skinned and has a big nose then you'll find that they often are nice to their family.
A big and round shaped person that is also cold will be blue in color.
A green colored person will be young and also kind.
A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin.
You can see that cold, blue people are round in shape.