The bear chases the mouse. The bear is cold. The bear is kind. The bear is red. The bear is young. The bear needs the mouse. The bear visits the mouse. The mouse chases the bear. The mouse is cold. The mouse is green. The mouse is kind. The mouse is red. The mouse is young. The mouse needs the bear. The mouse visits the bear. If something needs the mouse and the mouse chases the bear then it chases the bear. If something chases the bear then it needs the bear. If something chases the mouse then it visits the bear. If something chases the bear then the bear is cold. If something needs the mouse and the mouse chases the bear then the mouse is kind. If something chases the bear then it is green.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If something needs the mouse and the mouse chases the bear then it chases the bear.
((("something" "needs" "mouse" "+") ("mouse" "chases" "bear" "+")) -> ("something" "chases" "bear" "+"))
If something chases the bear then it needs the bear.
((("something" "chases" "bear" "+")) -> ("something" "needs" "bear" "+"))
If something chases the mouse then it visits the bear.
((("something" "chases" "mouse" "+")) -> ("something" "visits" "bear" "+"))
If something chases the bear then the bear is cold.
((("something" "chases" "bear" "+")) -> ("bear" "is" "cold" "+"))
If something needs the mouse and the mouse chases the bear then the mouse is kind.
((("something" "needs" "mouse" "+") ("mouse" "chases" "bear" "+")) -> ("mouse" "is" "kind" "+"))
If something chases the bear then it is green.
((("something" "chases" "bear" "+")) -> ("something" "is" "green" "+"))
The bear is red.
True
1
proof
[(triple4)]
("bear" "is" "red" "+")
triple4
The mouse is not green.
False
1
inv-proof
[(triple10 OR ((triple8) -> rule6))]
("mouse" "is" "green" "-")
triple10
((triple8) -> (rule6 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The bear visits the bear.
True
2
proof
[(((triple1) -> rule3))]
("bear" "visits" "bear" "+")
((triple1) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear does not chase the bear.
False
3
inv-proof
[(((triple6 triple8) -> rule1))]
("bear" "chases" "bear" "-")
((triple6 triple8) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is green.
True
4
proof
[(((((triple6 triple8) -> rule1)) -> rule6))]
("bear" "is" "green" "+")
((((triple6 triple8) -> (rule1 % int2))) -> (rule6 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear does not need the bear.
False
4
inv-proof
[(((((triple6 triple8) -> rule1)) -> rule2))]
("bear" "needs" "bear" "-")
((((triple6 triple8) -> (rule1 % int2))) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The mouse does not visit the mouse.
Unknown
inv-random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The bear chases the mouse.[(triple1)] The bear is cold.[(triple2 OR ((triple8) -> rule4) OR ((((triple6 triple8) -> rule1)) -> rule4))] The bear is kind.[(triple3)] The bear is red.[(triple4)] The bear is young.[(triple5)] The bear needs the mouse.[(triple6)] The bear visits the mouse.[(triple7)] The mouse chases the bear.[(triple8)] The mouse is cold.[(triple9)] The mouse is green.[(triple10 OR ((triple8) -> rule6))] The mouse is kind.[(triple11 OR ((triple6 triple8) -> rule5))] The mouse is red.[(triple12)] The mouse is young.[(triple13)] The mouse needs the bear.[(triple14 OR ((triple8) -> rule2))] The mouse visits the bear.[(triple15)] @1: The bear chases the bear.[(((triple6 triple8) -> rule1))] The bear visits the bear.[(((triple1) -> rule3))] @2: The bear is green.[(((((triple6 triple8) -> rule1)) -> rule6))] The bear needs the bear.[(((((triple6 triple8) -> rule1)) -> rule2))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
((triple8) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
((((triple6 triple8) -> (rule1 % int2))) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple6
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple7
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple8
The mouse is cold.
("mouse" "is" "cold" "+")
triple9
The mouse is green.
("mouse" "is" "green" "+")
triple10
((triple8) -> (rule6 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
triple11
((triple6 triple8) -> (rule5 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
triple12
The mouse is young.
("mouse" "is" "young" "+")
triple13
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple14
((triple8) -> (rule2 % int1))
The mouse needs the bear.
("mouse" "needs" "bear" "+")
int1
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple15
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple6 triple8) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple1) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
((((triple6 triple8) -> (rule1 % int2))) -> (rule6 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
((((triple6 triple8) -> (rule1 % int2))) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2