The cow is cold. The cow visits the dog. The cow visits the squirrel. The dog visits the cow. The squirrel is red. The squirrel visits the cow. The squirrel visits the dog. If someone chases the cow then the cow needs the squirrel. If someone is cold and blue then they chase the dog. If someone is kind and they chase the dog then the dog needs the cow. If someone visits the dog then the dog is kind. Red, blue people are cold. If someone visits the squirrel then the squirrel is cold. If someone visits the dog and they chase the squirrel then the dog is rough. If someone visits the dog then they chase the squirrel.
The cow is cold.
("cow" "is" "cold" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If someone chases the cow then the cow needs the squirrel.
((("someone" "chases" "cow" "+")) -> ("cow" "needs" "squirrel" "+"))
If someone is cold and blue then they chase the dog.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "chases" "dog" "+"))
If someone is kind and they chase the dog then the dog needs the cow.
((("someone" "is" "kind" "+") ("someone" "chases" "dog" "+")) -> ("dog" "needs" "cow" "+"))
If someone visits the dog then the dog is kind.
((("someone" "visits" "dog" "+")) -> ("dog" "is" "kind" "+"))
Red, blue people are cold.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone visits the squirrel then the squirrel is cold.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "is" "cold" "+"))
If someone visits the dog and they chase the squirrel then the dog is rough.
((("someone" "visits" "dog" "+") ("someone" "chases" "squirrel" "+")) -> ("dog" "is" "rough" "+"))
If someone visits the dog then they chase the squirrel.
((("someone" "visits" "dog" "+")) -> ("someone" "chases" "squirrel" "+"))
The dog visits the cow.
True
1
proof
[(triple4)]
("dog" "visits" "cow" "+")
triple4
The squirrel is not red.
False
1
inv-proof
[(triple5)]
("squirrel" "is" "red" "-")
triple5
The cow chases the squirrel.
True
2
proof
[(((triple2) -> rule8))]
("cow" "chases" "squirrel" "+")
((triple2) -> (rule8 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The dog is not kind.
False
2
inv-proof
[(((triple2) -> rule4) OR ((triple7) -> rule4))]
("dog" "is" "kind" "-")
((triple2) -> (rule4 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
((triple7) -> (rule4 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog does not need the cow.
Unknown
inv-rconc
[@2: The dog needs the cow.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("dog" "needs" "cow" "-")
The dog chases the squirrel.
Unknown
rconc
[@1: The dog chases the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "chases" "squirrel" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The cow is cold.[(triple1)] The cow visits the dog.[(triple2)] The cow visits the squirrel.[(triple3)] The dog visits the cow.[(triple4)] The squirrel is red.[(triple5)] The squirrel visits the cow.[(triple6)] The squirrel visits the dog.[(triple7)] @1: The cow chases the squirrel.[(((triple2) -> rule8))] The dog is kind.[(((triple2) -> rule4) OR ((triple7) -> rule4))] The squirrel chases the squirrel.[(((triple7) -> rule8))] The squirrel is cold.[(((triple3) -> rule6))] @2: The dog is rough.[(((triple2 ((triple2) -> rule8)) -> rule7) OR ((triple7 ((triple7) -> rule8)) -> rule7))]
The cow is cold.
("cow" "is" "cold" "+")
triple1
The cow visits the dog.
("cow" "visits" "dog" "+")
triple2
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple3
The dog visits the cow.
("dog" "visits" "cow" "+")
triple4
The squirrel is red.
("squirrel" "is" "red" "+")
triple5
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple6
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple7
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
((triple2) -> (rule8 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
((triple2) -> (rule4 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
((triple7) -> (rule4 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple7) -> (rule8 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple3) -> (rule6 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
((triple2 ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
((triple7 ((triple7) -> (rule8 % int2))) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2