The bald eagle chases the bear. The bald eagle chases the mouse. The bald eagle is red. The bald eagle is rough. The bald eagle needs the mouse. The bear is kind. The dog chases the bald eagle. The dog eats the mouse. The dog is kind. The dog is nice. The dog needs the bald eagle. The dog needs the bear. The dog needs the mouse. The mouse eats the bear. The mouse needs the bear. If someone eats the bear and the bear needs the mouse then the bear is nice. If someone is kind then they need the mouse.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bear is kind.
("bear" "is" "kind" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
If someone eats the bear and the bear needs the mouse then the bear is nice.
((("someone" "eats" "bear" "+") ("bear" "needs" "mouse" "+")) -> ("bear" "is" "nice" "+"))
If someone is kind then they need the mouse.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "mouse" "+"))
The bald eagle needs the mouse.
True
1
proof
[(triple5)]
("bald eagle" "needs" "mouse" "+")
triple5
The mouse does not need the bear.
False
1
inv-proof
[(triple15)]
("mouse" "needs" "bear" "-")
triple15
The bear needs the mouse.
True
2
proof
[(((triple6) -> rule2))]
("bear" "needs" "mouse" "+")
((triple6) -> (rule2 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear does not need the mouse.
False
2
inv-proof
[(((triple6) -> rule2))]
("bear" "needs" "mouse" "-")
((triple6) -> (rule2 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is nice.
True
4
proof
[(((triple14 ((triple6) -> rule2)) -> rule1))]
("bear" "is" "nice" "+")
((triple14 ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2
The bear is not nice.
False
4
inv-proof
[(((triple14 ((triple6) -> rule2)) -> rule1))]
("bear" "is" "nice" "-")
((triple14 ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2
The mouse does not need the mouse.
Unknown
inv-rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "needs" "mouse" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
The mouse does not chase the bear.
Unknown
inv-random
[@0: The mouse chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "bear" "-")
The bear chases the dog.
Unknown
random
[@0: The bear chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "dog" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle needs the mouse.[(triple5)] The bear is kind.[(triple6)] The dog chases the bald eagle.[(triple7)] The dog eats the mouse.[(triple8)] The dog is kind.[(triple9)] The dog is nice.[(triple10)] The dog needs the bald eagle.[(triple11)] The dog needs the bear.[(triple12)] The dog needs the mouse.[(triple13 OR ((triple9) -> rule2))] The mouse eats the bear.[(triple14)] The mouse needs the bear.[(triple15)] @1: The bear needs the mouse.[(((triple6) -> rule2))] @2: The bear is nice.[(((triple14 ((triple6) -> rule2)) -> rule1))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple5
The bear is kind.
("bear" "is" "kind" "+")
triple6
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple7
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple8
The dog is kind.
("dog" "is" "kind" "+")
triple9
The dog is nice.
("dog" "is" "nice" "+")
triple10
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple11
The dog needs the bear.
("dog" "needs" "bear" "+")
triple12
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple13
((triple9) -> (rule2 % int1))
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int1
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple14
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple15
The bear needs the mouse.
("bear" "needs" "mouse" "+")
((triple6) -> (rule2 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
((triple14 ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2