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