The dog chases the squirrel. The dog is big. The squirrel visits the dog. If something chases the squirrel and the squirrel visits the dog then the dog chases the squirrel. If something is cold and it likes the dog then the dog visits the squirrel. If the dog is nice and the dog is blue then the dog chases the squirrel. If something likes the squirrel then the squirrel likes the dog. If something is cold then it likes the squirrel. If something visits the squirrel and the squirrel likes the dog then the squirrel is rough. If the dog visits the squirrel then the dog chases the squirrel. If something chases the squirrel then the squirrel chases the dog.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is big.
("dog" "is" "big" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If something chases the squirrel and the squirrel visits the dog then the dog chases the squirrel.
((("something" "chases" "squirrel" "+") ("squirrel" "visits" "dog" "+")) -> ("dog" "chases" "squirrel" "+"))
If something is cold and it likes the dog then the dog visits the squirrel.
((("something" "is" "cold" "+") ("something" "likes" "dog" "+")) -> ("dog" "visits" "squirrel" "+"))
If the dog is nice and the dog is blue then the dog chases the squirrel.
((("dog" "is" "nice" "+") ("dog" "is" "blue" "+")) -> ("dog" "chases" "squirrel" "+"))
If something likes the squirrel then the squirrel likes the dog.
((("something" "likes" "squirrel" "+")) -> ("squirrel" "likes" "dog" "+"))
If something is cold then it likes the squirrel.
((("something" "is" "cold" "+")) -> ("something" "likes" "squirrel" "+"))
If something visits the squirrel and the squirrel likes the dog then the squirrel is rough.
((("something" "visits" "squirrel" "+") ("squirrel" "likes" "dog" "+")) -> ("squirrel" "is" "rough" "+"))
If the dog visits the squirrel then the dog chases the squirrel.
((("dog" "visits" "squirrel" "+")) -> ("dog" "chases" "squirrel" "+"))
If something chases the squirrel then the squirrel chases the dog.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "chases" "dog" "+"))
The squirrel visits the dog.
True
1
proof
[(triple3)]
("squirrel" "visits" "dog" "+")
triple3
The dog is not big.
False
1
inv-proof
[(triple2)]
("dog" "is" "big" "-")
triple2
The squirrel chases the dog.
True
2
proof
[(((triple1) -> rule8))]
("squirrel" "chases" "dog" "+")
((triple1) -> (rule8 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel does not chase the dog.
False
2
inv-proof
[(((triple1) -> rule8))]
("squirrel" "chases" "dog" "-")
((triple1) -> (rule8 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The dog does not visit the squirrel.
Unknown
inv-rconc
[@1: The dog visits the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "visits" "squirrel" "-")
The squirrel likes the dog.
Unknown
rconc
[@2: The squirrel likes the dog.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("squirrel" "likes" "dog" "+")
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The dog chases the squirrel.[(triple1)] The dog is big.[(triple2)] The squirrel visits the dog.[(triple3)] @1: The squirrel chases the dog.[(((triple1) -> rule8))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog is big.
("dog" "is" "big" "+")
triple2
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple3
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((triple1) -> (rule8 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1