The bald eagle chases the squirrel. The bald eagle is round. The bald eagle is young. The bald eagle likes the squirrel. The bald eagle sees the dog. The dog chases the mouse. The dog likes the squirrel. The dog sees the mouse. The dog sees the squirrel. The mouse chases the squirrel. The mouse is cold. The squirrel is blue. The squirrel likes the dog. The squirrel likes the mouse. The squirrel sees the dog. If something sees the dog and it chases the dog then it chases the bald eagle. If something chases the squirrel and it chases the mouse then the squirrel is rough. If something chases the dog then it is round. If something chases the squirrel then it is cold. If something sees the squirrel then the squirrel chases the dog. If something chases the mouse and the mouse chases the dog then the dog sees the mouse. If something chases the mouse then it is blue. If something sees the squirrel and the squirrel is round then it sees the bald eagle.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If something sees the dog and it chases the dog then it chases the bald eagle.
((("something" "sees" "dog" "+") ("something" "chases" "dog" "+")) -> ("something" "chases" "bald eagle" "+"))
If something chases the squirrel and it chases the mouse then the squirrel is rough.
((("something" "chases" "squirrel" "+") ("something" "chases" "mouse" "+")) -> ("squirrel" "is" "rough" "+"))
If something chases the dog then it is round.
((("something" "chases" "dog" "+")) -> ("something" "is" "round" "+"))
If something chases the squirrel then it is cold.
((("something" "chases" "squirrel" "+")) -> ("something" "is" "cold" "+"))
If something sees the squirrel then the squirrel chases the dog.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "chases" "dog" "+"))
If something chases the mouse and the mouse chases the dog then the dog sees the mouse.
((("something" "chases" "mouse" "+") ("mouse" "chases" "dog" "+")) -> ("dog" "sees" "mouse" "+"))
If something chases the mouse then it is blue.
((("something" "chases" "mouse" "+")) -> ("something" "is" "blue" "+"))
If something sees the squirrel and the squirrel is round then it sees the bald eagle.
((("something" "sees" "squirrel" "+") ("squirrel" "is" "round" "+")) -> ("something" "sees" "bald eagle" "+"))
The bald eagle is young.
True
1
proof
[(triple3)]
("bald eagle" "is" "young" "+")
triple3
The bald eagle does not see the dog.
False
1
inv-proof
[(triple5)]
("bald eagle" "sees" "dog" "-")
triple5
The dog is blue.
True
2
proof
[(((triple6) -> rule7))]
("dog" "is" "blue" "+")
((triple6) -> (rule7 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The squirrel does not chase the dog.
False
2
inv-proof
[(((triple9) -> rule5))]
("squirrel" "chases" "dog" "-")
((triple9) -> (rule5 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel is round.
True
3
proof
[(((((triple9) -> rule5)) -> rule3))]
("squirrel" "is" "round" "+")
((((triple9) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
The squirrel does not chase the bald eagle.
False
4
inv-proof
[(((triple15 ((triple9) -> rule5)) -> rule1))]
("squirrel" "chases" "bald eagle" "-")
((triple15 ((triple9) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
The dog sees the bald eagle.
True
5
proof
[(((triple9 ((((triple9) -> rule5)) -> rule3)) -> rule8))]
("dog" "sees" "bald eagle" "+")
((triple9 ((((triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int3
The dog does not see the bald eagle.
False
5
inv-proof
[(((triple9 ((((triple9) -> rule5)) -> rule3)) -> rule8))]
("dog" "sees" "bald eagle" "-")
((triple9 ((((triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int3
The squirrel does not see the bald eagle.
Unknown
inv-rconc
[@1: The squirrel sees the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "sees" "bald eagle" "-")
The dog is cold.
Unknown
rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "is" "cold" "+")
The mouse is not round.
Unknown
inv-rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "round" "-")
The bald eagle chases the bald eagle.
Unknown
rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The mouse does not like the squirrel.
Unknown
inv-random
[@0: The mouse likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "squirrel" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
The bald eagle does not like the mouse.
Unknown
inv-random
[@0: The bald eagle likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "mouse" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The bald eagle sees the dog.[(triple5)] The dog chases the mouse.[(triple6)] The dog likes the squirrel.[(triple7)] The dog sees the mouse.[(triple8)] The dog sees the squirrel.[(triple9)] The mouse chases the squirrel.[(triple10)] The mouse is cold.[(triple11 OR ((triple10) -> rule4))] The squirrel is blue.[(triple12)] The squirrel likes the dog.[(triple13)] The squirrel likes the mouse.[(triple14)] The squirrel sees the dog.[(triple15)] @1: The bald eagle is cold.[(((triple1) -> rule4))] The dog is blue.[(((triple6) -> rule7))] The squirrel chases the dog.[(((triple9) -> rule5))] @2: The squirrel chases the bald eagle.[(((triple15 ((triple9) -> rule5)) -> rule1))] The squirrel is round.[(((((triple9) -> rule5)) -> rule3))] @3: The dog sees the bald eagle.[(((triple9 ((((triple9) -> rule5)) -> rule3)) -> rule8))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple4
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple5
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple6
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple7
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple8
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple9
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple10
The mouse is cold.
("mouse" "is" "cold" "+")
triple11
((triple10) -> (rule4 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple12
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple13
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple14
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple15
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple1) -> (rule4 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
((triple6) -> (rule7 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((triple9) -> (rule5 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
((triple15 ((triple9) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
((((triple9) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
((triple9 ((((triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int3