The cow is nice. The cow needs the squirrel. The squirrel chases the cow. The squirrel eats the cow. The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel needs the cow. If something needs the cow then it chases the squirrel.
The cow is nice.
("cow" "is" "nice" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If something needs the cow then it chases the squirrel.
((("something" "needs" "cow" "+")) -> ("something" "chases" "squirrel" "+"))
The cow needs the squirrel.
True
1
proof
[(triple2)]
("cow" "needs" "squirrel" "+")
triple2
The squirrel does not chase the cow.
False
1
inv-proof
[(triple3)]
("squirrel" "chases" "cow" "-")
triple3
The cow does not chase the squirrel.
Unknown
inv-rconc
[@1: The cow chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "squirrel" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The cow is nice.[(triple1)] The cow needs the squirrel.[(triple2)] The squirrel chases the cow.[(triple3)] The squirrel eats the cow.[(triple4)] The squirrel is blue.[(triple5)] The squirrel is cold.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is red.[(triple8)] The squirrel is rough.[(triple9)] The squirrel needs the cow.[(triple10)] @1: The squirrel chases the squirrel.[(((triple10) -> rule1))]
The cow is nice.
("cow" "is" "nice" "+")
triple1
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple3
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple4
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple5
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple6
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple7
The squirrel is red.
("squirrel" "is" "red" "+")
triple8
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple9
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple10
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple10) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1