The bear chases the mouse. The bear chases the squirrel. The bear is red. The mouse chases the bear. The mouse is red. The mouse likes the bear. The mouse visits the bear. The mouse visits the squirrel. The squirrel chases the bear. The squirrel chases the mouse. The squirrel is big. The squirrel is cold. The squirrel is nice. The squirrel likes the mouse. The squirrel visits the bear. If someone chases the bear and the bear chases the mouse then the mouse is cold.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is red.
("bear" "is" "red" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If someone chases the bear and the bear chases the mouse then the mouse is cold.
((("someone" "chases" "bear" "+") ("bear" "chases" "mouse" "+")) -> ("mouse" "is" "cold" "+"))
The squirrel chases the mouse.
True
1
proof
[(triple10)]
("squirrel" "chases" "mouse" "+")
triple10
The mouse does not chase the bear.
False
1
inv-proof
[(triple4)]
("mouse" "chases" "bear" "-")
triple4
The mouse is cold.
True
3
proof
[(((triple4 triple1) -> rule1) OR ((triple9 triple1) -> rule1))]
("mouse" "is" "cold" "+")
((triple4 triple1) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
((triple9 triple1) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is not cold.
False
3
inv-proof
[(((triple4 triple1) -> rule1) OR ((triple9 triple1) -> rule1))]
("mouse" "is" "cold" "-")
((triple4 triple1) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
((triple9 triple1) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The bear is not nice.
Unknown
inv-random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "-")
The bear visits the squirrel.
Unknown
random
[@0: The bear visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "squirrel" "+")
The squirrel does not like the bear.
Unknown
inv-random
[@0: The squirrel likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bear" "-")
The mouse likes the squirrel.
Unknown
random
[@0: The mouse likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "squirrel" "+")
@0: The bear chases the mouse.[(triple1)] The bear chases the squirrel.[(triple2)] The bear is red.[(triple3)] The mouse chases the bear.[(triple4)] The mouse is red.[(triple5)] The mouse likes the bear.[(triple6)] The mouse visits the bear.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel chases the bear.[(triple9)] The squirrel chases the mouse.[(triple10)] The squirrel is big.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is nice.[(triple13)] The squirrel likes the mouse.[(triple14)] The squirrel visits the bear.[(triple15)] @1: The mouse is cold.[(((triple4 triple1) -> rule1) OR ((triple9 triple1) -> rule1))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple4
The mouse is red.
("mouse" "is" "red" "+")
triple5
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple6
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple7
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple8
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple9
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple12
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple13
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple14
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple15
The mouse is cold.
("mouse" "is" "cold" "+")
((triple4 triple1) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
((triple9 triple1) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1