The dog chases the squirrel. The dog is round. The dog visits the squirrel. The squirrel eats the dog. The squirrel is blue. The squirrel is cold. The squirrel is round. If something is round and it chases the squirrel then it visits the dog. If the dog eats the squirrel and the dog chases the squirrel then the squirrel chases the dog. If something visits the squirrel and it is rough then the squirrel visits the dog. If the dog chases the squirrel then the squirrel is blue. If something visits the dog and it chases the dog then the dog visits the squirrel. If something visits the squirrel and it eats the dog then it is round.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is round.
("dog" "is" "round" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If something is round and it chases the squirrel then it visits the dog.
((("something" "is" "round" "+") ("something" "chases" "squirrel" "+")) -> ("something" "visits" "dog" "+"))
If the dog eats the squirrel and the dog chases the squirrel then the squirrel chases the dog.
((("dog" "eats" "squirrel" "+") ("dog" "chases" "squirrel" "+")) -> ("squirrel" "chases" "dog" "+"))
If something visits the squirrel and it is rough then the squirrel visits the dog.
((("something" "visits" "squirrel" "+") ("something" "is" "rough" "+")) -> ("squirrel" "visits" "dog" "+"))
If the dog chases the squirrel then the squirrel is blue.
((("dog" "chases" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
If something visits the dog and it chases the dog then the dog visits the squirrel.
((("something" "visits" "dog" "+") ("something" "chases" "dog" "+")) -> ("dog" "visits" "squirrel" "+"))
If something visits the squirrel and it eats the dog then it is round.
((("something" "visits" "squirrel" "+") ("something" "eats" "dog" "+")) -> ("something" "is" "round" "+"))
The dog is round.
True
1
proof
[(triple2)]
("dog" "is" "round" "+")
triple2
The dog does not visit the squirrel.
False
1
inv-proof
[(triple3)]
("dog" "visits" "squirrel" "-")
triple3
The dog visits the dog.
True
3
proof
[(((triple2 triple1) -> rule1))]
("dog" "visits" "dog" "+")
((triple2 triple1) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog does not visit the dog.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("dog" "visits" "dog" "-")
((triple2 triple1) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The squirrel does not chase the dog.
Unknown
inv-rconc
[@1: The squirrel chases the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "dog" "-")
The squirrel visits the dog.
Unknown
rconc
[@1: The squirrel visits the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "visits" "dog" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
@0: The dog chases the squirrel.[(triple1)] The dog is round.[(triple2)] The dog visits the squirrel.[(triple3)] The squirrel eats the dog.[(triple4)] The squirrel is blue.[(triple5 OR ((triple1) -> rule4))] The squirrel is cold.[(triple6)] The squirrel is round.[(triple7)] @1: The dog visits the dog.[(((triple2 triple1) -> rule1))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog is round.
("dog" "is" "round" "+")
triple2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple3
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple4
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple5
((triple1) -> (rule4 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple6
The squirrel is round.
("squirrel" "is" "round" "+")
triple7
The dog visits the dog.
("dog" "visits" "dog" "+")
((triple2 triple1) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1