The bald eagle is blue. The bald eagle is rough. The bald eagle is round. The bald eagle likes the cow. The bald eagle needs the squirrel. The cow is red. The cow is rough. The cow is round. The cow likes the bald eagle. The cow likes the squirrel. The squirrel chases the cow. The squirrel is blue. The squirrel is cold. The squirrel likes the bald eagle. The squirrel needs the bald eagle. The squirrel needs the cow. If something is rough and it needs the cow then the cow needs the squirrel.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If something is rough and it needs the cow then the cow needs the squirrel.
((("something" "is" "rough" "+") ("something" "needs" "cow" "+")) -> ("cow" "needs" "squirrel" "+"))
The squirrel likes the bald eagle.
True
1
proof
[(triple14)]
("squirrel" "likes" "bald eagle" "+")
triple14
The cow is not rough.
False
1
inv-proof
[(triple7)]
("cow" "is" "rough" "-")
triple7
The cow does not need the squirrel.
Unknown
inv-rconc
[@1: The cow needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "needs" "squirrel" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the cow.[(triple4)] The bald eagle needs the squirrel.[(triple5)] The cow is red.[(triple6)] The cow is rough.[(triple7)] The cow is round.[(triple8)] The cow likes the bald eagle.[(triple9)] The cow likes the squirrel.[(triple10)] The squirrel chases the cow.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is cold.[(triple13)] The squirrel likes the bald eagle.[(triple14)] The squirrel needs the bald eagle.[(triple15)] The squirrel needs the cow.[(triple16)]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple4
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple5
The cow is red.
("cow" "is" "red" "+")
triple6
The cow is rough.
("cow" "is" "rough" "+")
triple7
The cow is round.
("cow" "is" "round" "+")
triple8
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple9
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple10
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple11
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple12
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple13
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple14
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple15
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple16