The bald eagle chases the dog. The bald eagle is cold. The bald eagle likes the cat. The bald eagle likes the squirrel. The cat chases the bald eagle. The cat chases the dog. The cat chases the squirrel. The cat does not like the bald eagle. The cat likes the dog. The cat visits the bald eagle. The cat visits the dog. The dog is cold. The dog visits the squirrel. The squirrel is round. The squirrel likes the cat. The squirrel visits the cat. If someone is round and rough then they chase the dog. If someone is cold then they like the bald eagle. If someone chases the bald eagle then the bald eagle is cold. If the cat visits the dog and the dog likes the squirrel then the squirrel does not visit the dog. All rough people are round. If someone visits the dog then the dog is rough.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat does not like the bald eagle.
("cat" "likes" "bald eagle" "-")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone is round and rough then they chase the dog.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "chases" "dog" "+"))
If someone is cold then they like the bald eagle.
((("someone" "is" "cold" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone chases the bald eagle then the bald eagle is cold.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
If the cat visits the dog and the dog likes the squirrel then the squirrel does not visit the dog.
((("cat" "visits" "dog" "+") ("dog" "likes" "squirrel" "+")) -> ("squirrel" "visits" "dog" "-"))
All rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone visits the dog then the dog is rough.
((("someone" "visits" "dog" "+")) -> ("dog" "is" "rough" "+"))
The cat chases the bald eagle.
True
1
proof
[(triple5)]
("cat" "chases" "bald eagle" "+")
triple5
The cat does not like the dog.
False
1
inv-proof
[(triple9)]
("cat" "likes" "dog" "-")
triple9
The bald eagle likes the bald eagle.
True
2
proof
[(((triple2) -> rule2) OR ((((triple5) -> rule3)) -> rule2))]
("bald eagle" "likes" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The dog does not like the bald eagle.
False
2
inv-proof
[(((triple12) -> rule2))]
("dog" "likes" "bald eagle" "-")
((triple12) -> (rule2 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog is round.
True
3
proof
[(((((triple11) -> rule6)) -> rule5))]
("dog" "is" "round" "+")
((((triple11) -> (rule6 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog is not round.
False
3
inv-proof
[(((((triple11) -> rule6)) -> rule5))]
("dog" "is" "round" "-")
((((triple11) -> (rule6 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog chases the dog.
True
6
proof
[(((((((triple11) -> rule6)) -> rule5) ((triple11) -> rule6)) -> rule1))]
("dog" "chases" "dog" "+")
((((((triple11) -> (rule6 % int3))) -> (rule5 % int2)) ((triple11) -> (rule6 % int3))) -> (rule1 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The dog does not chase the dog.
False
6
inv-proof
[(((((((triple11) -> rule6)) -> rule5) ((triple11) -> rule6)) -> rule1))]
("dog" "chases" "dog" "-")
((((((triple11) -> (rule6 % int3))) -> (rule5 % int2)) ((triple11) -> (rule6 % int3))) -> (rule1 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "round" "-")
The squirrel chases the dog.
Unknown
rconc
[@1: The squirrel chases the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "dog" "+")
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "round" "-")
The squirrel likes the bald eagle.
Unknown
rconc
[@1: The squirrel likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "likes" "bald eagle" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The dog likes the cat.
Unknown
random
[@0: The dog likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "cat" "+")
The squirrel is not rough.
Unknown
inv-random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "-")
The bald eagle visits the cat.
Unknown
random
[@0: The bald eagle visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cat" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple5) -> rule3))] The bald eagle likes the cat.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat chases the dog.[(triple6)] The cat chases the squirrel.[(triple7)] The cat does not like the bald eagle.[(triple8)] The cat likes the dog.[(triple9)] The cat visits the bald eagle.[(triple10)] The cat visits the dog.[(triple11)] The dog is cold.[(triple12)] The dog visits the squirrel.[(triple13)] The squirrel is round.[(triple14)] The squirrel likes the cat.[(triple15)] The squirrel visits the cat.[(triple16)] @1: The bald eagle likes the bald eagle.[(((triple2) -> rule2) OR ((((triple5) -> rule3)) -> rule2))] The dog is rough.[(((triple11) -> rule6))] The dog likes the bald eagle.[(((triple12) -> rule2))] @2: The dog is round.[(((((triple11) -> rule6)) -> rule5))] @3: The dog chases the dog.[(((((((triple11) -> rule6)) -> rule5) ((triple11) -> rule6)) -> rule1))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
((triple5) -> (rule3 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple4
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple5
The cat chases the dog.
("cat" "chases" "dog" "+")
triple6
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple7
The cat does not like the bald eagle.
("cat" "likes" "bald eagle" "-")
triple8
The cat likes the dog.
("cat" "likes" "dog" "+")
triple9
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple10
The cat visits the dog.
("cat" "visits" "dog" "+")
triple11
The dog is cold.
("dog" "is" "cold" "+")
triple12
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple15
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple16
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
((triple11) -> (rule6 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
((triple12) -> (rule2 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog is round.
("dog" "is" "round" "+")
((((triple11) -> (rule6 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
((((((triple11) -> (rule6 % int3))) -> (rule5 % int2)) ((triple11) -> (rule6 % int3))) -> (rule1 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3