The bear eats the mouse. The bear is kind. The bear is round. The bear is young. The bear likes the mouse. The mouse chases the bear. The mouse is green. The mouse is kind. The mouse is round. The mouse likes the bear. If something likes the mouse then it chases the bear. If something is kind and it chases the bear then it chases the mouse. If something chases the mouse and the mouse chases the bear then it eats the bear.
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
If something likes the mouse then it chases the bear.
((("something" "likes" "mouse" "+")) -> ("something" "chases" "bear" "+"))
If something is kind and it chases the bear then it chases the mouse.
((("something" "is" "kind" "+") ("something" "chases" "bear" "+")) -> ("something" "chases" "mouse" "+"))
If something chases the mouse and the mouse chases the bear then it eats the bear.
((("something" "chases" "mouse" "+") ("mouse" "chases" "bear" "+")) -> ("something" "eats" "bear" "+"))
The bear eats the mouse.
True
1
proof
[(triple1)]
("bear" "eats" "mouse" "+")
triple1
The mouse does not like the bear.
False
1
inv-proof
[(triple10)]
("mouse" "likes" "bear" "-")
triple10
The mouse chases the mouse.
True
3
proof
[(((triple8 triple6) -> rule2))]
("mouse" "chases" "mouse" "+")
((triple8 triple6) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse does not chase the mouse.
False
3
inv-proof
[(((triple8 triple6) -> rule2))]
("mouse" "chases" "mouse" "-")
((triple8 triple6) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The bear chases the mouse.
True
4
proof
[(((triple2 ((triple5) -> rule1)) -> rule2))]
("bear" "chases" "mouse" "+")
((triple2 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The mouse does not eat the bear.
False
5
inv-proof
[(((((triple8 triple6) -> rule2) triple6) -> rule3))]
("mouse" "eats" "bear" "-")
((((triple8 triple6) -> (rule2 % int2)) triple6) -> (rule3 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The bear eats the bear.
True
6
proof
[(((((triple2 ((triple5) -> rule1)) -> rule2) triple6) -> rule3))]
("bear" "eats" "bear" "+")
((((triple2 ((triple5) -> (rule1 % int3))) -> (rule2 % int2)) triple6) -> (rule3 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
The bear does not eat the bear.
False
6
inv-proof
[(((((triple2 ((triple5) -> rule1)) -> rule2) triple6) -> rule3))]
("bear" "eats" "bear" "-")
((((triple2 ((triple5) -> (rule1 % int3))) -> (rule2 % int2)) triple6) -> (rule3 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
The mouse is not young.
Unknown
inv-random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The bear eats the mouse.[(triple1)] The bear is kind.[(triple2)] The bear is round.[(triple3)] The bear is young.[(triple4)] The bear likes the mouse.[(triple5)] The mouse chases the bear.[(triple6)] The mouse is green.[(triple7)] The mouse is kind.[(triple8)] The mouse is round.[(triple9)] The mouse likes the bear.[(triple10)] @1: The bear chases the bear.[(((triple5) -> rule1))] The mouse chases the mouse.[(((triple8 triple6) -> rule2))] @2: The bear chases the mouse.[(((triple2 ((triple5) -> rule1)) -> rule2))] The mouse eats the bear.[(((((triple8 triple6) -> rule2) triple6) -> rule3))] @3: The bear eats the bear.[(((((triple2 ((triple5) -> rule1)) -> rule2) triple6) -> rule3))]
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple6
The mouse is green.
("mouse" "is" "green" "+")
triple7
The mouse is kind.
("mouse" "is" "kind" "+")
triple8
The mouse is round.
("mouse" "is" "round" "+")
triple9
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple10
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple5) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple8 triple6) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
((triple2 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The mouse eats the bear.
("mouse" "eats" "bear" "+")
((((triple8 triple6) -> (rule2 % int2)) triple6) -> (rule3 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
((((triple2 ((triple5) -> (rule1 % int3))) -> (rule2 % int2)) triple6) -> (rule3 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3