The bald eagle is kind. The bald eagle does not need the tiger. The rabbit is red. The squirrel needs the tiger. The squirrel visits the bald eagle. The squirrel visits the tiger. The tiger does not chase the rabbit. If something visits the tiger and the tiger chases the rabbit then it is kind. If something chases the tiger and the tiger is round then the tiger visits the squirrel. If something chases the squirrel and it is rough then it is blue.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
The rabbit is red.
("rabbit" "is" "red" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger does not chase the rabbit.
("tiger" "chases" "rabbit" "-")
If something visits the tiger and the tiger chases the rabbit then it is kind.
((("something" "visits" "tiger" "+") ("tiger" "chases" "rabbit" "+")) -> ("something" "is" "kind" "+"))
If something chases the tiger and the tiger is round then the tiger visits the squirrel.
((("something" "chases" "tiger" "+") ("tiger" "is" "round" "+")) -> ("tiger" "visits" "squirrel" "+"))
If something chases the squirrel and it is rough then it is blue.
((("something" "chases" "squirrel" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
The rabbit is red.
True
1
proof
[(triple3)]
("rabbit" "is" "red" "+")
triple3
The squirrel does not visit the bald eagle.
False
1
inv-proof
[(triple5)]
("squirrel" "visits" "bald eagle" "-")
triple5
The tiger is not blue.
Unknown
inv-rconc
[@1: The tiger is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "blue" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle does not need the tiger.[(triple2)] The bald eagle is kind.[(triple1)] The rabbit is red.[(triple3)] The squirrel needs the tiger.[(triple4)] The squirrel visits the bald eagle.[(triple5)] The squirrel visits the tiger.[(triple6)] The tiger does not chase the rabbit.[(triple7)]
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The rabbit is red.
("rabbit" "is" "red" "+")
triple3
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple4
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple5
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple6
The tiger does not chase the rabbit.
("tiger" "chases" "rabbit" "-")
triple7