Bob is big and red, but he's young and will grow out of it. Blue and green Fred is so kind he snowplows the neighbors driveways and everyone thanks him with beer. Gary grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. People who are red and round are usually assumed to be green. Rough people are often round. A blue colored, nice but rough person is definitely young too. A person fitting the description of rough, cold and red will also be a nice person. People who are kind and green are very often rough. When somebody is round, kind and blue, you know they'll also be red. A very nice and kind person will also be round shaped.
If someone is red and round then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and blue and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and cold and red then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and kind and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Bob is red.
True
1
proof
[(triple2)]
("Bob" "is" "red" "+")
triple2
Gary is not blue.
False
1
inv-proof
[(triple8)]
("Gary" "is" "blue" "-")
triple8
Gary is round.
True
2
proof
[(((triple7) -> rule2))]
("Gary" "is" "round" "+")
((triple7) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple7) -> rule2))]
("Gary" "is" "round" "-")
((triple7) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Fred is round.
True
4
proof
[(((((triple4 triple5) -> rule5)) -> rule2))]
("Fred" "is" "round" "+")
((((triple4 triple5) -> (rule5 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not round.
False
4
inv-proof
[(((((triple4 triple5) -> rule5)) -> rule2))]
("Fred" "is" "round" "-")
((((triple4 triple5) -> (rule5 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is red.
True
7
proof
[(((((((triple4 triple5) -> rule5)) -> rule2) triple4 triple6) -> rule6))]
("Fred" "is" "red" "+")
((((((triple4 triple5) -> (rule5 % int3))) -> (rule2 % int2)) triple4 triple6) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not red.
False
7
inv-proof
[(((((((triple4 triple5) -> rule5)) -> rule2) triple4 triple6) -> rule6))]
("Fred" "is" "red" "-")
((((((triple4 triple5) -> (rule5 % int3))) -> (rule2 % int2)) triple4 triple6) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not young.
Unknown
inv-rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Fred" "is" "young" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "red" "+")
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "nice" "-")
Eric is round.
Unknown
rconc
[@2: Eric is round.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Eric" "is" "round" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Bob is big.[(triple3)] Bob is red.[(triple2)] Bob is young.[(triple1)] Fred is blue.[(triple6)] Fred is green.[(triple5)] Fred is kind.[(triple4)] Gary is blue.[(triple8)] Gary is rough.[(triple7)] @1: Fred is rough.[(((triple4 triple5) -> rule5))] Gary is round.[(((triple7) -> rule2))] @2: Fred is round.[(((((triple4 triple5) -> rule5)) -> rule2))] @3: Fred is red.[(((((((triple4 triple5) -> rule5)) -> rule2) triple4 triple6) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple6
Fred is green.
("Fred" "is" "green" "+")
triple5
Fred is kind.
("Fred" "is" "kind" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
((triple4 triple5) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple7) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((((triple4 triple5) -> (rule5 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((((((triple4 triple5) -> (rule5 % int3))) -> (rule2 % int2)) triple4 triple6) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Bob is big and red, but he's young and will grow out of it.
Blue and green Fred is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
Gary grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
People who are red and round are usually assumed to be green.
Rough people are often round.
A blue colored, nice but rough person is definitely young too.
A person fitting the description of rough, cold and red will also be a nice person.
People who are kind and green are very often rough.
When somebody is round, kind and blue, you know they'll also be red.
A very nice and kind person will also be round shaped.