The cat sees the rabbit. The cat sees the squirrel. The cat does not visit the dog. The dog eats the cat. The dog is rough. The rabbit is blue. The rabbit sees the cat. The rabbit sees the dog. The rabbit visits the squirrel. The squirrel is blue. The squirrel is cold. The squirrel visits the cat. If someone is round and they see the squirrel then the squirrel eats the dog. If someone eats the squirrel and the squirrel visits the rabbit then the rabbit does not visit the squirrel. If the rabbit does not visit the dog then the dog is kind. If someone is rough then they visit the rabbit. If someone is round and rough then they eat the rabbit. If the rabbit sees the dog and the rabbit is not rough then the dog eats the cat. If someone is round and they see the cat then the cat is rough. If the squirrel is not kind and the squirrel does not eat the rabbit then the rabbit does not eat the dog.
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The cat does not visit the dog.
("cat" "visits" "dog" "-")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is rough.
("dog" "is" "rough" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone is round and they see the squirrel then the squirrel eats the dog.
((("someone" "is" "round" "+") ("someone" "sees" "squirrel" "+")) -> ("squirrel" "eats" "dog" "+"))
If someone eats the squirrel and the squirrel visits the rabbit then the rabbit does not visit the squirrel.
((("someone" "eats" "squirrel" "+") ("squirrel" "visits" "rabbit" "+")) -> ("rabbit" "visits" "squirrel" "-"))
If the rabbit does not visit the dog then the dog is kind.
((("rabbit" "visits" "dog" "~")) -> ("dog" "is" "kind" "+"))
If someone is rough then they visit the rabbit.
((("someone" "is" "rough" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone is round and rough then they eat the rabbit.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "eats" "rabbit" "+"))
If the rabbit sees the dog and the rabbit is not rough then the dog eats the cat.
((("rabbit" "sees" "dog" "+") ("rabbit" "is" "rough" "~")) -> ("dog" "eats" "cat" "+"))
If someone is round and they see the cat then the cat is rough.
((("someone" "is" "round" "+") ("someone" "sees" "cat" "+")) -> ("cat" "is" "rough" "+"))
If the squirrel is not kind and the squirrel does not eat the rabbit then the rabbit does not eat the dog.
((("squirrel" "is" "kind" "~") ("squirrel" "eats" "rabbit" "~")) -> ("rabbit" "eats" "dog" "-"))
The rabbit visits the squirrel.
True
1
proof
[(triple9)]
("rabbit" "visits" "squirrel" "+")
triple9
The cat does not see the rabbit.
False
1
inv-proof
[(triple1)]
("cat" "sees" "rabbit" "-")
triple1
The dog visits the rabbit.
True
2
proof
[(((triple5) -> rule4))]
("dog" "visits" "rabbit" "+")
((triple5) -> (rule4 % int1))
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int1
The dog does not visit the rabbit.
False
2
inv-proof
[(((triple5) -> rule4))]
("dog" "visits" "rabbit" "-")
((triple5) -> (rule4 % int1))
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int1
The cat does not eat the rabbit.
Unknown
inv-rconc
[@1: The cat eats the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "eats" "rabbit" "-")
The squirrel eats the rabbit.
Unknown
rconc
[@1: The squirrel eats the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "eats" "rabbit" "+")
The squirrel does not visit the dog.
Unknown
inv-random
[@0: The squirrel visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "dog" "-")
The dog eats the squirrel.
Unknown
random
[@0: The dog eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "squirrel" "+")
@0: The cat does not visit the dog.[(triple3)] The cat sees the rabbit.[(triple1)] The cat sees the squirrel.[(triple2)] The dog eats the cat.[(triple4)] The dog is rough.[(triple5)] The rabbit is blue.[(triple6)] The rabbit sees the cat.[(triple7)] The rabbit sees the dog.[(triple8)] The rabbit visits the squirrel.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is cold.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The dog visits the rabbit.[(((triple5) -> rule4))]
The cat does not visit the dog.
("cat" "visits" "dog" "-")
triple3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple1
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple2
The dog eats the cat.
("dog" "eats" "cat" "+")
triple4
The dog is rough.
("dog" "is" "rough" "+")
triple5
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple6
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple7
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple8
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple9
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple12
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
((triple5) -> (rule4 % int1))
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int1