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