The bald eagle needs the bear. The bald eagle does not need the dog. The bald eagle needs the mouse. The bear is not blue. The bear is red. The bear needs the bald eagle. The bear needs the dog. The bear sees the bald eagle. The bear does not visit the bald eagle. The dog is big. The dog is not blue. The dog needs the bear. The dog needs the mouse. The mouse does not need the bald eagle. The mouse sees the bald eagle. The mouse sees the dog. If something sees the bear then it is nice. Blue, big things are cold. If something is nice and it sees the bald eagle then the bald eagle sees the bear. If something is red then it sees the bear. If something is nice then it visits the bear. If something is nice then it visits the dog.
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bear is not blue.
("bear" "is" "blue" "-")
The bear is red.
("bear" "is" "red" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear does not visit the bald eagle.
("bear" "visits" "bald eagle" "-")
The dog is big.
("dog" "is" "big" "+")
The dog is not blue.
("dog" "is" "blue" "-")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If something sees the bear then it is nice.
((("something" "sees" "bear" "+")) -> ("something" "is" "nice" "+"))
Blue, big things are cold.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
If something is nice and it sees the bald eagle then the bald eagle sees the bear.
((("something" "is" "nice" "+") ("something" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "bear" "+"))
If something is red then it sees the bear.
((("something" "is" "red" "+")) -> ("something" "sees" "bear" "+"))
If something is nice then it visits the bear.
((("something" "is" "nice" "+")) -> ("something" "visits" "bear" "+"))
If something is nice then it visits the dog.
((("something" "is" "nice" "+")) -> ("something" "visits" "dog" "+"))
The mouse sees the dog.
True
1
proof
[(triple16)]
("mouse" "sees" "dog" "+")
triple16
The dog is not big.
False
1
inv-proof
[(triple10)]
("dog" "is" "big" "-")
triple10
The bear sees the bear.
True
2
proof
[(((triple5) -> rule4))]
("bear" "sees" "bear" "+")
((triple5) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear does not see the bear.
False
2
inv-proof
[(((triple5) -> rule4))]
("bear" "sees" "bear" "-")
((triple5) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is nice.
True
3
proof
[(((((triple5) -> rule4)) -> rule1))]
("bear" "is" "nice" "+")
((((triple5) -> (rule4 % int2))) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear is not nice.
False
3
inv-proof
[(((((triple5) -> rule4)) -> rule1))]
("bear" "is" "nice" "-")
((((triple5) -> (rule4 % int2))) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear visits the dog.
True
4
proof
[(((((((triple5) -> rule4)) -> rule1)) -> rule6))]
("bear" "visits" "dog" "+")
((((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
int3
The bear does not visit the bear.
False
4
inv-proof
[(((((((triple5) -> rule4)) -> rule1)) -> rule5))]
("bear" "visits" "bear" "-")
((((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
int3
The bald eagle is nice.
True
6
proof
[(((((((((triple5) -> rule4)) -> rule1) triple8) -> rule3)) -> rule1))]
("bald eagle" "is" "nice" "+")
((((((((triple5) -> (rule4 % int4))) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear sees the bear.
("bear" "sees" "bear" "+")
int4
The bald eagle is not nice.
False
6
inv-proof
[(((((((((triple5) -> rule4)) -> rule1) triple8) -> rule3)) -> rule1))]
("bald eagle" "is" "nice" "-")
((((((((triple5) -> (rule4 % int4))) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear sees the bear.
("bear" "sees" "bear" "+")
int4
The bald eagle visits the dog.
True
7
proof
[(((((((((((triple5) -> rule4)) -> rule1) triple8) -> rule3)) -> rule1)) -> rule6))]
("bald eagle" "visits" "dog" "+")
((((((((((triple5) -> (rule4 % int5))) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int3
The bear is nice.
("bear" "is" "nice" "+")
int4
The bear sees the bear.
("bear" "sees" "bear" "+")
int5
The bald eagle does not visit the bear.
False
7
inv-proof
[(((((((((((triple5) -> rule4)) -> rule1) triple8) -> rule3)) -> rule1)) -> rule5))]
("bald eagle" "visits" "bear" "-")
((((((((((triple5) -> (rule4 % int5))) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int3
The bear is nice.
("bear" "is" "nice" "+")
int4
The bear sees the bear.
("bear" "sees" "bear" "+")
int5
The dog does not visit the bear.
Unknown
inv-rconc
[@3: The dog visits the bear.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule4 <- FAIL)]]
("dog" "visits" "bear" "-")
The dog is nice.
Unknown
rconc
[@2: The dog is nice.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("dog" "is" "nice" "+")
The mouse is not nice.
Unknown
inv-rconc
[@2: The mouse is nice.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("mouse" "is" "nice" "-")
The mouse is cold.
Unknown
rconc
[@1: The mouse is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "cold" "+")
The dog does not see the bear.
Unknown
inv-rconc
[@1: The dog sees the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "sees" "bear" "-")
The mouse visits the bear.
Unknown
rconc
[@3: The mouse visits the bear.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule4 <- FAIL)]]
("mouse" "visits" "bear" "+")
The dog does not visit the mouse.
Unknown
inv-random
[@0: The dog visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "mouse" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The bald eagle sees the mouse.
Unknown
random
[@0: The bald eagle sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "mouse" "+")
The mouse does not need the dog.
Unknown
inv-random
[@0: The mouse needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "dog" "-")
The mouse is blue.
Unknown
random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "+")
@0: The bald eagle does not need the dog.[(triple2)] The bald eagle needs the bear.[(triple1)] The bald eagle needs the mouse.[(triple3)] The bear does not visit the bald eagle.[(triple9)] The bear is not blue.[(triple4)] The bear is red.[(triple5)] The bear needs the bald eagle.[(triple6)] The bear needs the dog.[(triple7)] The bear sees the bald eagle.[(triple8)] The dog is big.[(triple10)] The dog is not blue.[(triple11)] The dog needs the bear.[(triple12)] The dog needs the mouse.[(triple13)] The mouse does not need the bald eagle.[(triple14)] The mouse sees the bald eagle.[(triple15)] The mouse sees the dog.[(triple16)] @1: The bear sees the bear.[(((triple5) -> rule4))] @2: The bear is nice.[(((((triple5) -> rule4)) -> rule1))] @3: The bald eagle sees the bear.[(((((((triple5) -> rule4)) -> rule1) triple8) -> rule3))] The bear visits the bear.[(((((((triple5) -> rule4)) -> rule1)) -> rule5))] The bear visits the dog.[(((((((triple5) -> rule4)) -> rule1)) -> rule6))] @4: The bald eagle is nice.[(((((((((triple5) -> rule4)) -> rule1) triple8) -> rule3)) -> rule1))] @5: The bald eagle visits the bear.[(((((((((((triple5) -> rule4)) -> rule1) triple8) -> rule3)) -> rule1)) -> rule5))] The bald eagle visits the dog.[(((((((((((triple5) -> rule4)) -> rule1) triple8) -> rule3)) -> rule1)) -> rule6))]
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple3
The bear does not visit the bald eagle.
("bear" "visits" "bald eagle" "-")
triple9
The bear is not blue.
("bear" "is" "blue" "-")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple6
The bear needs the dog.
("bear" "needs" "dog" "+")
triple7
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple8
The dog is big.
("dog" "is" "big" "+")
triple10
The dog is not blue.
("dog" "is" "blue" "-")
triple11
The dog needs the bear.
("dog" "needs" "bear" "+")
triple12
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple13
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
triple14
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple15
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple16
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple5) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
((((triple5) -> (rule4 % int2))) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((((((triple5) -> (rule4 % int3))) -> (rule1 % int2)) triple8) -> (rule3 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
int3
The bear visits the bear.
("bear" "visits" "bear" "+")
((((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
int3
The bear visits the dog.
("bear" "visits" "dog" "+")
((((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((((((((triple5) -> (rule4 % int4))) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear sees the bear.
("bear" "sees" "bear" "+")
int4
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
((((((((((triple5) -> (rule4 % int5))) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int3
The bear is nice.
("bear" "is" "nice" "+")
int4
The bear sees the bear.
("bear" "sees" "bear" "+")
int5
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
((((((((((triple5) -> (rule4 % int5))) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int3
The bear is nice.
("bear" "is" "nice" "+")
int4
The bear sees the bear.
("bear" "sees" "bear" "+")
int5