The bald eagle needs the squirrel. The bald eagle visits the cat. The cat is young. The cat sees the bald eagle. The cat visits the dog. The dog is big. The dog is blue. The dog is cold. The dog is not young. The dog needs the bald eagle. The dog visits the cat. The dog visits the squirrel. The squirrel is young. The squirrel needs the cat. The squirrel visits the bald eagle. The squirrel visits the dog. If someone is young then they are not blue. If someone sees the bald eagle and they need the squirrel then the squirrel does not see the bald eagle. If someone needs the dog then the dog does not see the bald eagle. If the bald eagle visits the dog and the bald eagle does not need the cat then the dog sees the bald eagle. If the cat sees the bald eagle then the bald eagle is blue. If someone needs the bald eagle then they need the dog. If someone is blue then they visit the cat. If someone needs the dog then they are not rough.
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat is young.
("cat" "is" "young" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is not young.
("dog" "is" "young" "-")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If someone is young then they are not blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "-"))
If someone sees the bald eagle and they need the squirrel then the squirrel does not see the bald eagle.
((("someone" "sees" "bald eagle" "+") ("someone" "needs" "squirrel" "+")) -> ("squirrel" "sees" "bald eagle" "-"))
If someone needs the dog then the dog does not see the bald eagle.
((("someone" "needs" "dog" "+")) -> ("dog" "sees" "bald eagle" "-"))
If the bald eagle visits the dog and the bald eagle does not need the cat then the dog sees the bald eagle.
((("bald eagle" "visits" "dog" "+") ("bald eagle" "needs" "cat" "~")) -> ("dog" "sees" "bald eagle" "+"))
If the cat sees the bald eagle then the bald eagle is blue.
((("cat" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If someone needs the bald eagle then they need the dog.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "needs" "dog" "+"))
If someone is blue then they visit the cat.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "cat" "+"))
If someone needs the dog then they are not rough.
((("someone" "needs" "dog" "+")) -> ("someone" "is" "rough" "-"))
The squirrel visits the bald eagle.
True
1
proof
[(triple15)]
("squirrel" "visits" "bald eagle" "+")
triple15
The squirrel does not visit the dog.
False
1
inv-proof
[(triple16)]
("squirrel" "visits" "dog" "-")
triple16
The squirrel is not blue.
True
2
proof
[(((triple13) -> rule1))]
("squirrel" "is" "blue" "-")
((triple13) -> (rule1 % int1))
The squirrel is not blue.
("squirrel" "is" "blue" "-")
int1
The squirrel is blue.
False
2
inv-proof
[(((triple13) -> rule1))]
("squirrel" "is" "blue" "+")
((triple13) -> (rule1 % int1))
The squirrel is not blue.
("squirrel" "is" "blue" "-")
int1
The dog is not rough.
True
3
proof
[(((((triple10) -> rule6)) -> rule8))]
("dog" "is" "rough" "-")
((((triple10) -> (rule6 % int2))) -> (rule8 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is rough.
False
3
inv-proof
[(((((triple10) -> rule6)) -> rule8))]
("dog" "is" "rough" "+")
((((triple10) -> (rule6 % int2))) -> (rule8 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The squirrel does not visit the cat.
Unknown
inv-rconc
[@1: The squirrel visits the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "visits" "cat" "-")
The cat visits the cat.
Unknown
rconc
[@1: The cat visits the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "visits" "cat" "+")
The cat does not need the dog.
Unknown
inv-rconc
[@1: The cat needs the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "needs" "dog" "-")
The squirrel needs the bald eagle.
Unknown
random
[@0: The squirrel needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bald eagle" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The bald eagle visits the dog.
Unknown
random
[@0: The bald eagle visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "dog" "+")
@0: The bald eagle needs the squirrel.[(triple1)] The bald eagle visits the cat.[(triple2 OR ((((triple4) -> rule5)) -> rule7))] The cat is young.[(triple3)] The cat sees the bald eagle.[(triple4)] The cat visits the dog.[(triple5)] The dog is big.[(triple6)] The dog is blue.[(triple7)] The dog is cold.[(triple8)] The dog is not young.[(triple9)] The dog needs the bald eagle.[(triple10)] The dog visits the cat.[(triple11 OR ((triple7) -> rule7))] The dog visits the squirrel.[(triple12)] The squirrel is young.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel visits the bald eagle.[(triple15)] The squirrel visits the dog.[(triple16)] @1: The bald eagle is blue.[(((triple4) -> rule5))] The cat is not blue.[(((triple3) -> rule1))] The dog needs the dog.[(((triple10) -> rule6))] The squirrel is not blue.[(((triple13) -> rule1))] @2: The dog does not see the bald eagle.[(((((triple10) -> rule6)) -> rule3))] The dog is not rough.[(((((triple10) -> rule6)) -> rule8))]
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple2
((((triple4) -> (rule5 % int2))) -> (rule7 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The cat is young.
("cat" "is" "young" "+")
triple3
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple4
The cat visits the dog.
("cat" "visits" "dog" "+")
triple5
The dog is big.
("dog" "is" "big" "+")
triple6
The dog is blue.
("dog" "is" "blue" "+")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple8
The dog is not young.
("dog" "is" "young" "-")
triple9
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple10
The dog visits the cat.
("dog" "visits" "cat" "+")
triple11
((triple7) -> (rule7 % int1))
The dog visits the cat.
("dog" "visits" "cat" "+")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple14
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple15
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple16
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple4) -> (rule5 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The cat is not blue.
("cat" "is" "blue" "-")
((triple3) -> (rule1 % int1))
The cat is not blue.
("cat" "is" "blue" "-")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
((triple10) -> (rule6 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The squirrel is not blue.
("squirrel" "is" "blue" "-")
((triple13) -> (rule1 % int1))
The squirrel is not blue.
("squirrel" "is" "blue" "-")
int1
The dog does not see the bald eagle.
("dog" "sees" "bald eagle" "-")
((((triple10) -> (rule6 % int2))) -> (rule3 % int1))
The dog does not see the bald eagle.
("dog" "sees" "bald eagle" "-")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is not rough.
("dog" "is" "rough" "-")
((((triple10) -> (rule6 % int2))) -> (rule8 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2