The bald eagle needs the squirrel. The dog chases the squirrel. The squirrel likes the dog. If someone is rough and they like the bald eagle then the bald eagle does not like the dog. If someone likes the bald eagle and they do not chase the squirrel then they need the dog. If someone chases the bald eagle and they like the dog then they need the dog. If someone chases the squirrel and the squirrel likes the dog then they are blue. If the bald eagle needs the squirrel then the squirrel chases the dog. If someone likes the bald eagle then the bald eagle is blue. If someone likes the squirrel then they are rough. If the dog chases the squirrel and the squirrel chases the dog then the squirrel is not cold.
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If someone is rough and they like the bald eagle then the bald eagle does not like the dog.
((("someone" "is" "rough" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "dog" "-"))
If someone likes the bald eagle and they do not chase the squirrel then they need the dog.
((("someone" "likes" "bald eagle" "+") ("someone" "chases" "squirrel" "~")) -> ("someone" "needs" "dog" "+"))
If someone chases the bald eagle and they like the dog then they need the dog.
((("someone" "chases" "bald eagle" "+") ("someone" "likes" "dog" "+")) -> ("someone" "needs" "dog" "+"))
If someone chases the squirrel and the squirrel likes the dog then they are blue.
((("someone" "chases" "squirrel" "+") ("squirrel" "likes" "dog" "+")) -> ("someone" "is" "blue" "+"))
If the bald eagle needs the squirrel then the squirrel chases the dog.
((("bald eagle" "needs" "squirrel" "+")) -> ("squirrel" "chases" "dog" "+"))
If someone likes the bald eagle then the bald eagle is blue.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If someone likes the squirrel then they are rough.
((("someone" "likes" "squirrel" "+")) -> ("someone" "is" "rough" "+"))
If the dog chases the squirrel and the squirrel chases the dog then the squirrel is not cold.
((("dog" "chases" "squirrel" "+") ("squirrel" "chases" "dog" "+")) -> ("squirrel" "is" "cold" "-"))
The dog chases the squirrel.
True
1
proof
[(triple2)]
("dog" "chases" "squirrel" "+")
triple2
The bald eagle does not need the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "squirrel" "-")
triple1
The squirrel chases the dog.
True
2
proof
[(((triple1) -> rule5))]
("squirrel" "chases" "dog" "+")
((triple1) -> (rule5 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel does not chase the dog.
False
2
inv-proof
[(((triple1) -> rule5))]
("squirrel" "chases" "dog" "-")
((triple1) -> (rule5 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel is not cold.
True
4
proof
[(((triple2 ((triple1) -> rule5)) -> rule8))]
("squirrel" "is" "cold" "-")
((triple2 ((triple1) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel is not cold.
("squirrel" "is" "cold" "-")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
The squirrel is cold.
False
4
inv-proof
[(((triple2 ((triple1) -> rule5)) -> rule8))]
("squirrel" "is" "cold" "+")
((triple2 ((triple1) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel is not cold.
("squirrel" "is" "cold" "-")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "is" "rough" "-")
The dog needs the dog.
Unknown
rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "dog" "+")
The bald eagle does not need the dog.
Unknown
inv-rconc
[@1: The bald eagle needs the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "needs" "dog" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
The dog does not need the bald eagle.
Unknown
inv-random
[@0: The dog needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bald eagle" "-")
The bald eagle likes the squirrel.
Unknown
random
[@0: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "squirrel" "+")
@0: The bald eagle needs the squirrel.[(triple1)] The dog chases the squirrel.[(triple2)] The squirrel likes the dog.[(triple3)] @1: The dog is blue.[(((triple2 triple3) -> rule4))] The squirrel chases the dog.[(((triple1) -> rule5))] @2: The squirrel is not cold.[(((triple2 ((triple1) -> rule5)) -> rule8))]
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple2
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple3
The dog is blue.
("dog" "is" "blue" "+")
((triple2 triple3) -> (rule4 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((triple1) -> (rule5 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel is not cold.
("squirrel" "is" "cold" "-")
((triple2 ((triple1) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel is not cold.
("squirrel" "is" "cold" "-")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2