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