The bald eagle sees the dog. The bald eagle sees the mouse. The bald eagle sees the squirrel. The dog chases the bald eagle. The dog is kind. The dog is not rough. The dog sees the mouse. The mouse is not young. The mouse sees the bald eagle. The squirrel does not need the dog. The squirrel sees the dog. If the mouse chases the bald eagle then the bald eagle chases the mouse. If something sees the dog then the dog needs the bald eagle. If something is young and it sees the mouse then the mouse chases the bald eagle. If something sees the mouse and the mouse does not see the squirrel then it is young. If something needs the squirrel then it is young. If something is kind and it sees the bald eagle then it is young. If something is cold then it sees the mouse. If something chases the mouse then it needs the mouse. If something sees the mouse then it sees the bald eagle.
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is not rough.
("dog" "is" "rough" "-")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse is not young.
("mouse" "is" "young" "-")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If the mouse chases the bald eagle then the bald eagle chases the mouse.
((("mouse" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "mouse" "+"))
If something sees the dog then the dog needs the bald eagle.
((("something" "sees" "dog" "+")) -> ("dog" "needs" "bald eagle" "+"))
If something is young and it sees the mouse then the mouse chases the bald eagle.
((("something" "is" "young" "+") ("something" "sees" "mouse" "+")) -> ("mouse" "chases" "bald eagle" "+"))
If something sees the mouse and the mouse does not see the squirrel then it is young.
((("something" "sees" "mouse" "+") ("mouse" "sees" "squirrel" "~")) -> ("something" "is" "young" "+"))
If something needs the squirrel then it is young.
((("something" "needs" "squirrel" "+")) -> ("something" "is" "young" "+"))
If something is kind and it sees the bald eagle then it is young.
((("something" "is" "kind" "+") ("something" "sees" "bald eagle" "+")) -> ("something" "is" "young" "+"))
If something is cold then it sees the mouse.
((("something" "is" "cold" "+")) -> ("something" "sees" "mouse" "+"))
If something chases the mouse then it needs the mouse.
((("something" "chases" "mouse" "+")) -> ("something" "needs" "mouse" "+"))
If something sees the mouse then it sees the bald eagle.
((("something" "sees" "mouse" "+")) -> ("something" "sees" "bald eagle" "+"))
The dog is not rough.
True
1
proof
[(triple6)]
("dog" "is" "rough" "-")
triple6
The mouse does not see the bald eagle.
False
1
inv-proof
[(triple9)]
("mouse" "sees" "bald eagle" "-")
triple9
The dog sees the bald eagle.
True
2
proof
[(((triple7) -> rule9))]
("dog" "sees" "bald eagle" "+")
((triple7) -> (rule9 % int1))
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int1
The bald eagle does not see the bald eagle.
False
2
inv-proof
[(((triple2) -> rule9))]
("bald eagle" "sees" "bald eagle" "-")
((triple2) -> (rule9 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The dog is young.
True
4
proof
[(((triple5 ((triple7) -> rule9)) -> rule6))]
("dog" "is" "young" "+")
((triple5 ((triple7) -> (rule9 % int2))) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int2
The dog is not young.
False
4
inv-proof
[(((triple5 ((triple7) -> rule9)) -> rule6))]
("dog" "is" "young" "-")
((triple5 ((triple7) -> (rule9 % int2))) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int2
The mouse chases the bald eagle.
True
6
proof
[(((((triple5 ((triple7) -> rule9)) -> rule6) triple7) -> rule3))]
("mouse" "chases" "bald eagle" "+")
((((triple5 ((triple7) -> (rule9 % int3))) -> (rule6 % int2)) triple7) -> (rule3 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int3
The mouse does not chase the bald eagle.
False
6
inv-proof
[(((((triple5 ((triple7) -> rule9)) -> rule6) triple7) -> rule3))]
("mouse" "chases" "bald eagle" "-")
((((triple5 ((triple7) -> (rule9 % int3))) -> (rule6 % int2)) triple7) -> (rule3 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int3
The bald eagle chases the mouse.
True
7
proof
[(((((((triple5 ((triple7) -> rule9)) -> rule6) triple7) -> rule3)) -> rule1))]
("bald eagle" "chases" "mouse" "+")
((((((triple5 ((triple7) -> (rule9 % int4))) -> (rule6 % int3)) triple7) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int4
The bald eagle does not chase the mouse.
False
7
inv-proof
[(((((((triple5 ((triple7) -> rule9)) -> rule6) triple7) -> rule3)) -> rule1))]
("bald eagle" "chases" "mouse" "-")
((((((triple5 ((triple7) -> (rule9 % int4))) -> (rule6 % int3)) triple7) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int4
The bald eagle needs the mouse.
True
8
proof
[(((((((((triple5 ((triple7) -> rule9)) -> rule6) triple7) -> rule3)) -> rule1)) -> rule8))]
("bald eagle" "needs" "mouse" "+")
((((((((triple5 ((triple7) -> (rule9 % int5))) -> (rule6 % int4)) triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The dog is young.
("dog" "is" "young" "+")
int4
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int5
The bald eagle does not need the mouse.
False
8
inv-proof
[(((((((((triple5 ((triple7) -> rule9)) -> rule6) triple7) -> rule3)) -> rule1)) -> rule8))]
("bald eagle" "needs" "mouse" "-")
((((((((triple5 ((triple7) -> (rule9 % int5))) -> (rule6 % int4)) triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The dog is young.
("dog" "is" "young" "+")
int4
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int5
The squirrel does not see the mouse.
Unknown
inv-rconc
[@1: The squirrel sees the mouse.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "sees" "mouse" "-")
The squirrel needs the mouse.
Unknown
rconc
[@1: The squirrel needs the mouse.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "needs" "mouse" "+")
The dog does not need the mouse.
Unknown
inv-rconc
[@1: The dog needs the mouse.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "needs" "mouse" "-")
The mouse sees the mouse.
Unknown
rconc
[@1: The mouse sees the mouse.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "sees" "mouse" "+")
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "young" "-")
The squirrel sees the bald eagle.
Unknown
rconc
[@2: The squirrel sees the bald eagle.[CWA. Example of deepest failure = (rule9 <- rule7 <- FAIL)]]
("squirrel" "sees" "bald eagle" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The mouse needs the dog.
Unknown
random
[@0: The mouse needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "dog" "+")
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
The squirrel does not chase the mouse.
Unknown
inv-random
[@0: The squirrel chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "mouse" "-")
The mouse needs the bald eagle.
Unknown
random
[@0: The mouse needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "bald eagle" "+")
@0: The bald eagle sees the dog.[(triple1)] The bald eagle sees the mouse.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The dog chases the bald eagle.[(triple4)] The dog is kind.[(triple5)] The dog is not rough.[(triple6)] The dog sees the mouse.[(triple7)] The mouse is not young.[(triple8)] The mouse sees the bald eagle.[(triple9)] The squirrel does not need the dog.[(triple10)] The squirrel sees the dog.[(triple11)] @1: The bald eagle sees the bald eagle.[(((triple2) -> rule9))] The dog needs the bald eagle.[(((triple1) -> rule2) OR ((triple11) -> rule2))] The dog sees the bald eagle.[(((triple7) -> rule9))] @2: The dog is young.[(((triple5 ((triple7) -> rule9)) -> rule6))] @3: The mouse chases the bald eagle.[(((((triple5 ((triple7) -> rule9)) -> rule6) triple7) -> rule3))] @4: The bald eagle chases the mouse.[(((((((triple5 ((triple7) -> rule9)) -> rule6) triple7) -> rule3)) -> rule1))] @5: The bald eagle needs the mouse.[(((((((((triple5 ((triple7) -> rule9)) -> rule6) triple7) -> rule3)) -> rule1)) -> rule8))]
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple2
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple3
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple5
The dog is not rough.
("dog" "is" "rough" "-")
triple6
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple7
The mouse is not young.
("mouse" "is" "young" "-")
triple8
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple9
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
triple10
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple11
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple2) -> (rule9 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
((triple11) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
((triple7) -> (rule9 % int1))
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int1
The dog is young.
("dog" "is" "young" "+")
((triple5 ((triple7) -> (rule9 % int2))) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
((((triple5 ((triple7) -> (rule9 % int3))) -> (rule6 % int2)) triple7) -> (rule3 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int3
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
((((((triple5 ((triple7) -> (rule9 % int4))) -> (rule6 % int3)) triple7) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int4
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
((((((((triple5 ((triple7) -> (rule9 % int5))) -> (rule6 % int4)) triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The dog is young.
("dog" "is" "young" "+")
int4
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int5