The bald eagle is red. The bald eagle likes the squirrel. The bald eagle needs the cat. The bald eagle needs the squirrel. The cat likes the squirrel. The cat needs the bald eagle. The cat visits the squirrel. The squirrel is green. The squirrel is kind. The squirrel likes the bald eagle. The squirrel likes the cat. The squirrel needs the bald eagle. If someone is red then they like the squirrel. If someone likes the squirrel and the squirrel visits the cat then the cat is round. If the bald eagle likes the cat and the bald eagle likes the squirrel then the squirrel visits the bald eagle. If the cat likes the squirrel then the squirrel visits the cat. If someone is round then they like the bald eagle. If someone needs the bald eagle then they need the cat. If someone needs the bald eagle and they like the cat then the cat is round. If someone needs the squirrel then they visit the squirrel.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If someone is red then they like the squirrel.
((("someone" "is" "red" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone likes the squirrel and the squirrel visits the cat then the cat is round.
((("someone" "likes" "squirrel" "+") ("squirrel" "visits" "cat" "+")) -> ("cat" "is" "round" "+"))
If the bald eagle likes the cat and the bald eagle likes the squirrel then the squirrel visits the bald eagle.
((("bald eagle" "likes" "cat" "+") ("bald eagle" "likes" "squirrel" "+")) -> ("squirrel" "visits" "bald eagle" "+"))
If the cat likes the squirrel then the squirrel visits the cat.
((("cat" "likes" "squirrel" "+")) -> ("squirrel" "visits" "cat" "+"))
If someone is round then they like the bald eagle.
((("someone" "is" "round" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone needs the bald eagle then they need the cat.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "needs" "cat" "+"))
If someone needs the bald eagle and they like the cat then the cat is round.
((("someone" "needs" "bald eagle" "+") ("someone" "likes" "cat" "+")) -> ("cat" "is" "round" "+"))
If someone needs the squirrel then they visit the squirrel.
((("someone" "needs" "squirrel" "+")) -> ("someone" "visits" "squirrel" "+"))
The cat likes the squirrel.
True
1
proof
[(triple5)]
("cat" "likes" "squirrel" "+")
triple5
The cat does not visit the squirrel.
False
1
inv-proof
[(triple7)]
("cat" "visits" "squirrel" "-")
triple7
The cat needs the cat.
True
2
proof
[(((triple6) -> rule6))]
("cat" "needs" "cat" "+")
((triple6) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat is not round.
False
3
inv-proof
[(((triple12 triple11) -> rule7) OR ((triple2 ((triple5) -> rule4)) -> rule2) OR ((triple5 ((triple5) -> rule4)) -> rule2) OR ((((triple1) -> rule1) ((triple5) -> rule4)) -> rule2))]
("cat" "is" "round" "-")
((triple12 triple11) -> (rule7 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
((triple2 ((triple5) -> (rule4 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2
((triple5 ((triple5) -> (rule4 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2
((((triple1) -> (rule1 % int3)) ((triple5) -> (rule4 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int3
The squirrel does not visit the bald eagle.
Unknown
inv-rconc
[@1: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "visits" "bald eagle" "-")
The squirrel likes the squirrel.
Unknown
rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "squirrel" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle likes the squirrel.[(triple2 OR ((triple1) -> rule1))] The bald eagle needs the cat.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The cat likes the squirrel.[(triple5)] The cat needs the bald eagle.[(triple6)] The cat visits the squirrel.[(triple7)] The squirrel is green.[(triple8)] The squirrel is kind.[(triple9)] The squirrel likes the bald eagle.[(triple10)] The squirrel likes the cat.[(triple11)] The squirrel needs the bald eagle.[(triple12)] @1: The bald eagle visits the squirrel.[(((triple4) -> rule8))] The cat is round.[(((triple12 triple11) -> rule7) OR ((triple2 ((triple5) -> rule4)) -> rule2) OR ((triple5 ((triple5) -> rule4)) -> rule2) OR ((((triple1) -> rule1) ((triple5) -> rule4)) -> rule2))] The cat needs the cat.[(((triple6) -> rule6))] The squirrel needs the cat.[(((triple12) -> rule6))] The squirrel visits the cat.[(((triple5) -> rule4))] @2: The cat likes the bald eagle.[(((((triple12 triple11) -> rule7)) -> rule5) OR ((((triple2 ((triple5) -> rule4)) -> rule2)) -> rule5) OR ((((triple5 ((triple5) -> rule4)) -> rule2)) -> rule5) OR ((((((triple1) -> rule1) ((triple5) -> rule4)) -> rule2)) -> rule5))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple2
((triple1) -> (rule1 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple3
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple4
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple5
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple6
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple7
The squirrel is green.
("squirrel" "is" "green" "+")
triple8
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple9
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple10
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple11
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple12
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
((triple4) -> (rule8 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The cat is round.
("cat" "is" "round" "+")
((triple12 triple11) -> (rule7 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
((triple2 ((triple5) -> (rule4 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2
((triple5 ((triple5) -> (rule4 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2
((((triple1) -> (rule1 % int3)) ((triple5) -> (rule4 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int3
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple6) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
((triple12) -> (rule6 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
((triple5) -> (rule4 % int1))
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
((((triple12 triple11) -> (rule7 % int2))) -> (rule5 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
((((triple2 ((triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int3
((((triple5 ((triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int3
((((((triple1) -> (rule1 % int4)) ((triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int4