Big, round Bob is cold and very green. Eric always goes out of his way to show that he is kind to people. Fred is a very kind, green but sometimes cold person. Young Harry is red from staying in the sun too long.  Even though he is uncomfortable from feeling cold, he is still kind to others. A big person who is green and cold has red skin. A nice person who is always seen to be wearing green clothes will be rather big in size. A person who is cold with a red nose will be feeling blue. A person described as cold and kind can also be described as nice. Among cold people, those who are round and kind are also rough. If a person is quite big and also round then they are certainly rough too. Unfortunately, all the young people who are considered green are all round.
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is big and green and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and round and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and young then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Bob is green.
True
1
proof
[(triple2)]
("Bob" "is" "green" "+")
triple2
Bob is not big.
False
1
inv-proof
[(triple4)]
("Bob" "is" "big" "-")
triple4
Harry is nice.
True
3
proof
[(((triple12 triple11) -> rule4))]
("Harry" "is" "nice" "+")
((triple12 triple11) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Fred is not nice.
False
3
inv-proof
[(((triple8 triple6) -> rule4))]
("Fred" "is" "nice" "-")
((triple8 triple6) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
True
5
proof
[(((triple7 ((triple8 triple6) -> rule4)) -> rule2))]
("Fred" "is" "big" "+")
((triple7 ((triple8 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Bob is not blue.
False
6
inv-proof
[(((triple3 ((triple4 triple2 triple3) -> rule1)) -> rule3))]
("Bob" "is" "blue" "-")
((triple3 ((triple4 triple2 triple3) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Fred is red.
True
8
proof
[(((((triple7 ((triple8 triple6) -> rule4)) -> rule2) triple7 triple8) -> rule1))]
("Fred" "is" "red" "+")
((((triple7 ((triple8 triple6) -> (rule4 % int3))) -> (rule2 % int2)) triple7 triple8) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not red.
False
8
inv-proof
[(((((triple7 ((triple8 triple6) -> rule4)) -> rule2) triple7 triple8) -> rule1))]
("Fred" "is" "red" "-")
((((triple7 ((triple8 triple6) -> (rule4 % int3))) -> (rule2 % int2)) triple7 triple8) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is blue.
True
10
proof
[(((triple8 ((((triple7 ((triple8 triple6) -> rule4)) -> rule2) triple7 triple8) -> rule1)) -> rule3))]
("Fred" "is" "blue" "+")
((triple8 ((((triple7 ((triple8 triple6) -> (rule4 % int4))) -> (rule2 % int3)) triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Fred is not blue.
False
10
inv-proof
[(((triple8 ((((triple7 ((triple8 triple6) -> rule4)) -> rule2) triple7 triple8) -> rule1)) -> rule3))]
("Fred" "is" "blue" "-")
((triple8 ((((triple7 ((triple8 triple6) -> (rule4 % int4))) -> (rule2 % int3)) triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "-")
Fred is rough.
Unknown
rconc
[@2: Fred is rough.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Fred" "is" "rough" "+")
Eric is not rough.
Unknown
inv-rconc
[@2: Eric is rough.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Eric" "is" "rough" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "round" "+")
Harry is not rough.
Unknown
inv-rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Harry" "is" "rough" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Bob is big.[(triple4)] Bob is cold.[(triple3)] Bob is green.[(triple2)] Bob is round.[(triple1)] Eric is kind.[(triple5)] Fred is cold.[(triple8)] Fred is green.[(triple7)] Fred is kind.[(triple6)] Harry is cold.[(triple12)] Harry is kind.[(triple11)] Harry is red.[(triple10)] Harry is young.[(triple9)] @1: Bob is red.[(((triple4 triple2 triple3) -> rule1))] Bob is rough.[(((triple4 triple1) -> rule6))] Fred is nice.[(((triple8 triple6) -> rule4))] Harry is blue.[(((triple12 triple10) -> rule3))] Harry is nice.[(((triple12 triple11) -> rule4))] @2: Bob is blue.[(((triple3 ((triple4 triple2 triple3) -> rule1)) -> rule3))] Fred is big.[(((triple7 ((triple8 triple6) -> rule4)) -> rule2))] @3: Fred is red.[(((((triple7 ((triple8 triple6) -> rule4)) -> rule2) triple7 triple8) -> rule1))] @4: Fred is blue.[(((triple8 ((((triple7 ((triple8 triple6) -> rule4)) -> rule2) triple7 triple8) -> rule1)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Bob is red.
("Bob" "is" "red" "+")
((triple4 triple2 triple3) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple4 triple1) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple8 triple6) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple12 triple10) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple12 triple11) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple3 ((triple4 triple2 triple3) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((triple7 ((triple8 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((((triple7 ((triple8 triple6) -> (rule4 % int3))) -> (rule2 % int2)) triple7 triple8) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
((triple8 ((((triple7 ((triple8 triple6) -> (rule4 % int4))) -> (rule2 % int3)) triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Big, round Bob is cold and very green.
Eric always goes out of his way to show that he is kind to people.
Fred is a very kind, green but sometimes cold person.
Young Harry is red from staying in the sun too long; Even though he is uncomfortable from feeling cold, he is still kind to others.
A big person who is green and cold has red skin.
A nice person who is always seen to be wearing green clothes will be rather big in size.
A person who is cold with a red nose will be feeling blue.
A person described as cold and kind can also be described as nice.
Among cold people, those who are round and kind are also rough.
If a person is quite big and also round then they are certainly rough too.
Unfortunately, all the young people who are considered green are all round.