The dog is round. The dog visits the tiger. The squirrel is round. The squirrel visits the dog. The squirrel visits the tiger. The tiger eats the squirrel. The tiger likes the dog. If someone is rough and round then they eat the tiger. If someone visits the tiger and they are kind then they are rough. If the squirrel visits the dog then the squirrel is not rough.
The dog is round.
("dog" "is" "round" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
If someone is rough and round then they eat the tiger.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "eats" "tiger" "+"))
If someone visits the tiger and they are kind then they are rough.
((("someone" "visits" "tiger" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If the squirrel visits the dog then the squirrel is not rough.
((("squirrel" "visits" "dog" "+")) -> ("squirrel" "is" "rough" "-"))
The squirrel visits the dog.
True
1
proof
[(triple4)]
("squirrel" "visits" "dog" "+")
triple4
The squirrel is not round.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "round" "-")
triple3
The tiger does not eat the tiger.
Unknown
inv-rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "tiger" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
@0: The dog is round.[(triple1)] The dog visits the tiger.[(triple2)] The squirrel is round.[(triple3)] The squirrel visits the dog.[(triple4)] The squirrel visits the tiger.[(triple5)] The tiger eats the squirrel.[(triple6)] The tiger likes the dog.[(triple7)] @1: The squirrel is not rough.[(((triple4) -> rule3))]
The dog is round.
("dog" "is" "round" "+")
triple1
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple2
The squirrel is round.
("squirrel" "is" "round" "+")
triple3
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple4
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple5
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple6
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple7
The squirrel is not rough.
("squirrel" "is" "rough" "-")
((triple4) -> (rule3 % int1))
The squirrel is not rough.
("squirrel" "is" "rough" "-")
int1