The bear visits the squirrel. The mouse chases the tiger. The mouse is cold. The mouse is rough. The mouse visits the bear. The squirrel chases the bear. The squirrel chases the mouse. The squirrel is cold. The squirrel sees the bear. The squirrel visits the bear. The squirrel visits the mouse. The squirrel visits the tiger. The tiger chases the bear. The tiger is cold. The tiger sees the squirrel. The tiger visits the squirrel. If someone chases the tiger then they see the mouse.
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone chases the tiger then they see the mouse.
((("someone" "chases" "tiger" "+")) -> ("someone" "sees" "mouse" "+"))
The mouse is rough.
True
1
proof
[(triple4)]
("mouse" "is" "rough" "+")
triple4
The mouse does not visit the bear.
False
1
inv-proof
[(triple5)]
("mouse" "visits" "bear" "-")
triple5
The mouse sees the mouse.
True
2
proof
[(((triple2) -> rule1))]
("mouse" "sees" "mouse" "+")
((triple2) -> (rule1 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse does not see the mouse.
False
2
inv-proof
[(((triple2) -> rule1))]
("mouse" "sees" "mouse" "-")
((triple2) -> (rule1 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The tiger does not see the mouse.
Unknown
inv-rconc
[@1: The tiger sees the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "sees" "mouse" "-")
The squirrel sees the mouse.
Unknown
rconc
[@1: The squirrel sees the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "sees" "mouse" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The squirrel sees the tiger.
Unknown
random
[@0: The squirrel sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "tiger" "+")
@0: The bear visits the squirrel.[(triple1)] The mouse chases the tiger.[(triple2)] The mouse is cold.[(triple3)] The mouse is rough.[(triple4)] The mouse visits the bear.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel chases the mouse.[(triple7)] The squirrel is cold.[(triple8)] The squirrel sees the bear.[(triple9)] The squirrel visits the bear.[(triple10)] The squirrel visits the mouse.[(triple11)] The squirrel visits the tiger.[(triple12)] The tiger chases the bear.[(triple13)] The tiger is cold.[(triple14)] The tiger sees the squirrel.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The mouse sees the mouse.[(((triple2) -> rule1))]
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple1
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple2
The mouse is cold.
("mouse" "is" "cold" "+")
triple3
The mouse is rough.
("mouse" "is" "rough" "+")
triple4
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple5
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple6
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple7
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple8
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple9
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple10
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple11
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple12
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple13
The tiger is cold.
("tiger" "is" "cold" "+")
triple14
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple15
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple16
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((triple2) -> (rule1 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1