The bald eagle is blue. The cat chases the squirrel. The cat is big. The cat is young. The cat likes the bald eagle. The cat visits the cow. The cow chases the bald eagle. The cow chases the squirrel. The cow is big. The cow is round. The cow is young. The cow visits the cat. The cow visits the squirrel. The squirrel chases the cow. The squirrel visits the cat. If someone is blue then they like the bald eagle. If someone is nice and they visit the squirrel then the squirrel is round. If someone visits the squirrel and they are nice then the squirrel chases the cow.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone is blue then they like the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone is nice and they visit the squirrel then the squirrel is round.
((("someone" "is" "nice" "+") ("someone" "visits" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
If someone visits the squirrel and they are nice then the squirrel chases the cow.
((("someone" "visits" "squirrel" "+") ("someone" "is" "nice" "+")) -> ("squirrel" "chases" "cow" "+"))
The cow chases the squirrel.
True
1
proof
[(triple8)]
("cow" "chases" "squirrel" "+")
triple8
The cat is not big.
False
1
inv-proof
[(triple3)]
("cat" "is" "big" "-")
triple3
The bald eagle likes the bald eagle.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "likes" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle does not like the bald eagle.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "likes" "bald eagle" "-")
((triple1) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The squirrel does not like the bald eagle.
Unknown
inv-rconc
[@1: The squirrel likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "bald eagle" "-")
The squirrel is round.
Unknown
rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "round" "+")
The squirrel does not chase the cat.
Unknown
inv-random
[@0: The squirrel chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "cat" "-")
The bald eagle likes the cat.
Unknown
random
[@0: The bald eagle likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cat" "+")
@0: The bald eagle is blue.[(triple1)] The cat chases the squirrel.[(triple2)] The cat is big.[(triple3)] The cat is young.[(triple4)] The cat likes the bald eagle.[(triple5)] The cat visits the cow.[(triple6)] The cow chases the bald eagle.[(triple7)] The cow chases the squirrel.[(triple8)] The cow is big.[(triple9)] The cow is round.[(triple10)] The cow is young.[(triple11)] The cow visits the cat.[(triple12)] The cow visits the squirrel.[(triple13)] The squirrel chases the cow.[(triple14)] The squirrel visits the cat.[(triple15)] @1: The bald eagle likes the bald eagle.[(((triple1) -> rule1))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
triple4
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple5
The cat visits the cow.
("cat" "visits" "cow" "+")
triple6
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple7
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple8
The cow is big.
("cow" "is" "big" "+")
triple9
The cow is round.
("cow" "is" "round" "+")
triple10
The cow is young.
("cow" "is" "young" "+")
triple11
The cow visits the cat.
("cow" "visits" "cat" "+")
triple12
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple13
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple14
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple15
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1