The bald eagle is red. The dog is red. The dog needs the tiger. The squirrel chases the dog. The squirrel likes the dog. The squirrel likes the tiger. The squirrel needs the tiger. The tiger chases the bald eagle. The tiger chases the squirrel. The tiger is red. If someone likes the bald eagle then they need the bald eagle. If someone is rough then they like the dog. If someone is red and rough then they are green. If someone likes the dog then the dog likes the bald eagle. If someone needs the tiger and they like the dog then the tiger is cold. If the squirrel chases the dog and the dog likes the bald eagle then the dog likes the squirrel.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The dog is red.
("dog" "is" "red" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is red.
("tiger" "is" "red" "+")
If someone likes the bald eagle then they need the bald eagle.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone is rough then they like the dog.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "dog" "+"))
If someone is red and rough then they are green.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone likes the dog then the dog likes the bald eagle.
((("someone" "likes" "dog" "+")) -> ("dog" "likes" "bald eagle" "+"))
If someone needs the tiger and they like the dog then the tiger is cold.
((("someone" "needs" "tiger" "+") ("someone" "likes" "dog" "+")) -> ("tiger" "is" "cold" "+"))
If the squirrel chases the dog and the dog likes the bald eagle then the dog likes the squirrel.
((("squirrel" "chases" "dog" "+") ("dog" "likes" "bald eagle" "+")) -> ("dog" "likes" "squirrel" "+"))
The tiger chases the bald eagle.
True
1
proof
[(triple8)]
("tiger" "chases" "bald eagle" "+")
triple8
The bald eagle is not red.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "red" "-")
triple1
The dog likes the bald eagle.
True
2
proof
[(((triple5) -> rule4))]
("dog" "likes" "bald eagle" "+")
((triple5) -> (rule4 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog does not like the bald eagle.
False
2
inv-proof
[(((triple5) -> rule4))]
("dog" "likes" "bald eagle" "-")
((triple5) -> (rule4 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog likes the squirrel.
True
4
proof
[(((triple4 ((triple5) -> rule4)) -> rule6))]
("dog" "likes" "squirrel" "+")
((triple4 ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The dog does not like the squirrel.
False
4
inv-proof
[(((triple4 ((triple5) -> rule4)) -> rule6))]
("dog" "likes" "squirrel" "-")
((triple4 ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The tiger does not like the dog.
Unknown
inv-rconc
[@1: The tiger likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "likes" "dog" "-")
The tiger needs the bald eagle.
Unknown
rconc
[@1: The tiger needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "needs" "bald eagle" "+")
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "likes" "dog" "-")
The bald eagle chases the squirrel.
Unknown
random
[@0: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "squirrel" "+")
The bald eagle does not chase the tiger.
Unknown
inv-random
[@0: The bald eagle chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "tiger" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
@0: The bald eagle is red.[(triple1)] The dog is red.[(triple2)] The dog needs the tiger.[(triple3)] The squirrel chases the dog.[(triple4)] The squirrel likes the dog.[(triple5)] The squirrel likes the tiger.[(triple6)] The squirrel needs the tiger.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger is red.[(triple10)] @1: The dog likes the bald eagle.[(((triple5) -> rule4))] The tiger is cold.[(((triple7 triple5) -> rule5))] @2: The dog likes the squirrel.[(((triple4 ((triple5) -> rule4)) -> rule6))] The dog needs the bald eagle.[(((((triple5) -> rule4)) -> rule1))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The dog is red.
("dog" "is" "red" "+")
triple2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple3
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple4
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple5
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple6
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple7
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple8
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple9
The tiger is red.
("tiger" "is" "red" "+")
triple10
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
((triple5) -> (rule4 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
((triple7 triple5) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
((triple4 ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
((((triple5) -> (rule4 % int2))) -> (rule1 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2