Alan is colored blue and red. He is also kind and cold to the touch. Bob's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Charlie is nice person, who was red colored due to a sunburn, was feeling rough because he is cold. Harry always goes out of his way to show that he is kind to people. A person who's big and kind will also be cold. Blue kind people are almost always nice to others. You will always find a cold, rough, red person to also be a round person. Someone who is round like a dumpling and cold like an icicle are very young in age. Unfortunately, all the young people who are considered green are all round. Nice young people who are always cold end up also being big.
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is big and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and rough and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is round and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is green and young then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and nice and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Alan is red.
True
1
proof
[(triple1)]
("Alan" "is" "red" "+")
triple1
Charlie is not cold.
False
1
inv-proof
[(triple11)]
("Charlie" "is" "cold" "-")
triple11
Charlie is round.
True
4
proof
[(((triple11 triple8 triple9) -> rule3))]
("Charlie" "is" "round" "+")
((triple11 triple8 triple9) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Alan is not nice.
False
3
inv-proof
[(((triple4 triple2) -> rule2))]
("Alan" "is" "nice" "-")
((triple4 triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Charlie is young.
True
6
proof
[(((((triple11 triple8 triple9) -> rule3) triple11) -> rule4))]
("Charlie" "is" "young" "+")
((((triple11 triple8 triple9) -> (rule3 % int2)) triple11) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not young.
False
6
inv-proof
[(((((triple11 triple8 triple9) -> rule3) triple11) -> rule4))]
("Charlie" "is" "young" "-")
((((triple11 triple8 triple9) -> (rule3 % int2)) triple11) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
True
9
proof
[(((triple11 triple10 ((((triple11 triple8 triple9) -> rule3) triple11) -> rule4)) -> rule6))]
("Charlie" "is" "big" "+")
((triple11 triple10 ((((triple11 triple8 triple9) -> (rule3 % int3)) triple11) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not big.
False
9
inv-proof
[(((triple11 triple10 ((((triple11 triple8 triple9) -> rule3) triple11) -> rule4)) -> rule6))]
("Charlie" "is" "big" "-")
((triple11 triple10 ((((triple11 triple8 triple9) -> (rule3 % int3)) triple11) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Bob" "is" "big" "-")
Harry is cold.
Unknown
rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Harry" "is" "cold" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "-")
Alan is young.
Unknown
rconc
[@2: Alan is young.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Alan" "is" "young" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Bob is blue.[(triple7)] Bob is green.[(triple6)] Bob is nice.[(triple5)] Charlie is cold.[(triple11)] Charlie is nice.[(triple10)] Charlie is red.[(triple9)] Charlie is rough.[(triple8)] Harry is kind.[(triple12)] @1: Alan is nice.[(((triple4 triple2) -> rule2))] Charlie is round.[(((triple11 triple8 triple9) -> rule3))] @2: Charlie is young.[(((((triple11 triple8 triple9) -> rule3) triple11) -> rule4))] @3: Charlie is big.[(((triple11 triple10 ((((triple11 triple8 triple9) -> rule3) triple11) -> rule4)) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple11
Charlie is nice.
("Charlie" "is" "nice" "+")
triple10
Charlie is red.
("Charlie" "is" "red" "+")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Alan is nice.
("Alan" "is" "nice" "+")
((triple4 triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple11 triple8 triple9) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((((triple11 triple8 triple9) -> (rule3 % int2)) triple11) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((triple11 triple10 ((((triple11 triple8 triple9) -> (rule3 % int3)) triple11) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Alan is colored blue and red; He is also kind and cold to the touch.
Bob's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
Charlie is nice person, who was red colored due to a sunburn, was feeling rough because he is cold.
Harry always goes out of his way to show that he is kind to people.
A person who's big and kind will also be cold.
Blue kind people are almost always nice to others.
You will always find a cold, rough, red person to also be a round person.
Someone who is round like a dumpling and cold like an icicle are very young in age.
Unfortunately, all the young people who are considered green are all round.
Nice young people who are always cold end up also being big.