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