The bald eagle chases the squirrel. The bald eagle sees the squirrel. The cat sees the bald eagle. The cat visits the bald eagle. The dog chases the bald eagle. The dog is kind. The dog is nice. The dog sees the bald eagle. The dog sees the squirrel. The squirrel is big. The squirrel visits the cat. The squirrel visits the dog. If someone visits the cat then they see the squirrel. If someone is kind and they see the squirrel then they visit the squirrel. If the squirrel chases the bald eagle then the bald eagle is green. If someone is red and they see the squirrel then they see the cat. If someone sees the squirrel and they chase the cat then the cat is green. If someone sees the squirrel then they are kind.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If someone visits the cat then they see the squirrel.
((("someone" "visits" "cat" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone is kind and they see the squirrel then they visit the squirrel.
((("someone" "is" "kind" "+") ("someone" "sees" "squirrel" "+")) -> ("someone" "visits" "squirrel" "+"))
If the squirrel chases the bald eagle then the bald eagle is green.
((("squirrel" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
If someone is red and they see the squirrel then they see the cat.
((("someone" "is" "red" "+") ("someone" "sees" "squirrel" "+")) -> ("someone" "sees" "cat" "+"))
If someone sees the squirrel and they chase the cat then the cat is green.
((("someone" "sees" "squirrel" "+") ("someone" "chases" "cat" "+")) -> ("cat" "is" "green" "+"))
If someone sees the squirrel then they are kind.
((("someone" "sees" "squirrel" "+")) -> ("someone" "is" "kind" "+"))
The dog is nice.
True
1
proof
[(triple7)]
("dog" "is" "nice" "+")
triple7
The squirrel does not visit the cat.
False
1
inv-proof
[(triple11)]
("squirrel" "visits" "cat" "-")
triple11
The dog visits the squirrel.
True
3
proof
[(((triple6 triple9) -> rule2) OR ((((triple9) -> rule6) triple9) -> rule2))]
("dog" "visits" "squirrel" "+")
((triple6 triple9) -> (rule2 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
((((triple9) -> (rule6 % int2)) triple9) -> (rule2 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The squirrel does not see the squirrel.
False
2
inv-proof
[(((triple11) -> rule1))]
("squirrel" "sees" "squirrel" "-")
((triple11) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel is kind.
True
3
proof
[(((((triple11) -> rule1)) -> rule6))]
("squirrel" "is" "kind" "+")
((((triple11) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
The squirrel is not kind.
False
3
inv-proof
[(((((triple11) -> rule1)) -> rule6))]
("squirrel" "is" "kind" "-")
((((triple11) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
The squirrel visits the squirrel.
True
6
proof
[(((((((triple11) -> rule1)) -> rule6) ((triple11) -> rule1)) -> rule2))]
("squirrel" "visits" "squirrel" "+")
((((((triple11) -> (rule1 % int3))) -> (rule6 % int2)) ((triple11) -> (rule1 % int3))) -> (rule2 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
The squirrel does not visit the squirrel.
False
6
inv-proof
[(((((((triple11) -> rule1)) -> rule6) ((triple11) -> rule1)) -> rule2))]
("squirrel" "visits" "squirrel" "-")
((((((triple11) -> (rule1 % int3))) -> (rule6 % int2)) ((triple11) -> (rule1 % int3))) -> (rule2 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
The bald eagle is not green.
Unknown
inv-rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "green" "-")
The cat is kind.
Unknown
rconc
[@2: The cat is kind.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("cat" "is" "kind" "+")
The dog does not see the cat.
Unknown
inv-rconc
[@1: The dog sees the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "sees" "cat" "-")
The cat sees the cat.
Unknown
rconc
[@1: The cat sees the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "sees" "cat" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The bald eagle sees the dog.
Unknown
random
[@0: The bald eagle sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "dog" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The cat sees the dog.
Unknown
random
[@0: The cat sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "dog" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The cat sees the bald eagle.[(triple3)] The cat visits the bald eagle.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog is kind.[(triple6 OR ((triple9) -> rule6))] The dog is nice.[(triple7)] The dog sees the bald eagle.[(triple8)] The dog sees the squirrel.[(triple9)] The squirrel is big.[(triple10)] The squirrel visits the cat.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The bald eagle is kind.[(((triple2) -> rule6))] The dog visits the squirrel.[(((triple6 triple9) -> rule2) OR ((((triple9) -> rule6) triple9) -> rule2))] The squirrel sees the squirrel.[(((triple11) -> rule1))] @2: The bald eagle visits the squirrel.[(((((triple2) -> rule6) triple2) -> rule2))] The squirrel is kind.[(((((triple11) -> rule1)) -> rule6))] @3: The squirrel visits the squirrel.[(((((((triple11) -> rule1)) -> rule6) ((triple11) -> rule1)) -> rule2))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple2
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple4
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple5
The dog is kind.
("dog" "is" "kind" "+")
triple6
((triple9) -> (rule6 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple8
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple11
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple12
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple2) -> (rule6 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
((triple6 triple9) -> (rule2 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
((((triple9) -> (rule6 % int2)) triple9) -> (rule2 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple11) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
((((triple2) -> (rule6 % int2)) triple2) -> (rule2 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
((((triple11) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((((((triple11) -> (rule1 % int3))) -> (rule6 % int2)) ((triple11) -> (rule1 % int3))) -> (rule2 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3