The bald eagle is blue. The bald eagle likes the squirrel. The bald eagle sees the squirrel. The bald eagle visits the squirrel. The dog is red. The dog is rough. The dog likes the squirrel. The dog visits the bald eagle. The squirrel is not big. The squirrel is green. The squirrel is red. The squirrel likes the bald eagle. The squirrel does not like the dog. The squirrel visits the bald eagle. The squirrel visits the dog. If something is big and it visits the dog then it visits the squirrel. If something visits the dog then it visits the squirrel. If something visits the dog then it does not see the dog. If the bald eagle is red then the bald eagle is big. If something is rough then it visits the dog. If something is blue then it is rough.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The squirrel is not big.
("squirrel" "is" "big" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If something is big and it visits the dog then it visits the squirrel.
((("something" "is" "big" "+") ("something" "visits" "dog" "+")) -> ("something" "visits" "squirrel" "+"))
If something visits the dog then it visits the squirrel.
((("something" "visits" "dog" "+")) -> ("something" "visits" "squirrel" "+"))
If something visits the dog then it does not see the dog.
((("something" "visits" "dog" "+")) -> ("something" "sees" "dog" "-"))
If the bald eagle is red then the bald eagle is big.
((("bald eagle" "is" "red" "+")) -> ("bald eagle" "is" "big" "+"))
If something is rough then it visits the dog.
((("something" "is" "rough" "+")) -> ("something" "visits" "dog" "+"))
If something is blue then it is rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
The dog likes the squirrel.
True
1
proof
[(triple7)]
("dog" "likes" "squirrel" "+")
triple7
The squirrel does not visit the dog.
False
1
inv-proof
[(triple15)]
("squirrel" "visits" "dog" "-")
triple15
The dog visits the dog.
True
2
proof
[(((triple6) -> rule5))]
("dog" "visits" "dog" "+")
((triple6) -> (rule5 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The squirrel sees the dog.
False
2
inv-proof
[(((triple15) -> rule3))]
("squirrel" "sees" "dog" "+")
((triple15) -> (rule3 % int1))
The squirrel does not see the dog.
("squirrel" "sees" "dog" "-")
int1
The bald eagle visits the dog.
True
3
proof
[(((((triple1) -> rule6)) -> rule5))]
("bald eagle" "visits" "dog" "+")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The dog sees the dog.
False
3
inv-proof
[(((((triple6) -> rule5)) -> rule3))]
("dog" "sees" "dog" "+")
((((triple6) -> (rule5 % int2))) -> (rule3 % int1))
The dog does not see the dog.
("dog" "sees" "dog" "-")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "is" "rough" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "big" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
The dog does not like the bald eagle.
Unknown
inv-random
[@0: The dog likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bald eagle" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The bald eagle visits the squirrel.[(triple4 OR ((((((triple1) -> rule6)) -> rule5)) -> rule2))] The dog is red.[(triple5)] The dog is rough.[(triple6)] The dog likes the squirrel.[(triple7)] The dog visits the bald eagle.[(triple8)] The squirrel does not like the dog.[(triple13)] The squirrel is green.[(triple10)] The squirrel is not big.[(triple9)] The squirrel is red.[(triple11)] The squirrel likes the bald eagle.[(triple12)] The squirrel visits the bald eagle.[(triple14)] The squirrel visits the dog.[(triple15)] @1: The bald eagle is rough.[(((triple1) -> rule6))] The dog visits the dog.[(((triple6) -> rule5))] The squirrel does not see the dog.[(((triple15) -> rule3))] The squirrel visits the squirrel.[(((triple15) -> rule2))] @2: The bald eagle visits the dog.[(((((triple1) -> rule6)) -> rule5))] The dog does not see the dog.[(((((triple6) -> rule5)) -> rule3))] The dog visits the squirrel.[(((((triple6) -> rule5)) -> rule2))] @3: The bald eagle does not see the dog.[(((((((triple1) -> rule6)) -> rule5)) -> rule3))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple2
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple3
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple4
((((((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The dog is red.
("dog" "is" "red" "+")
triple5
The dog is rough.
("dog" "is" "rough" "+")
triple6
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple7
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple8
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
triple13
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel is not big.
("squirrel" "is" "big" "-")
triple9
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple12
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple14
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple15
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple1) -> (rule6 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
((triple6) -> (rule5 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The squirrel does not see the dog.
("squirrel" "sees" "dog" "-")
((triple15) -> (rule3 % int1))
The squirrel does not see the dog.
("squirrel" "sees" "dog" "-")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple15) -> (rule2 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The dog does not see the dog.
("dog" "sees" "dog" "-")
((((triple6) -> (rule5 % int2))) -> (rule3 % int1))
The dog does not see the dog.
("dog" "sees" "dog" "-")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
((((triple6) -> (rule5 % int2))) -> (rule2 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The bald eagle does not see the dog.
("bald eagle" "sees" "dog" "-")
((((((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle does not see the dog.
("bald eagle" "sees" "dog" "-")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3