The cat eats the dog. The cat eats the tiger. The cat is big. The cat is rough. The cat sees the squirrel. The cat visits the dog. The dog eats the tiger. The squirrel eats the cat. The squirrel sees the cat. The tiger visits the cat. If someone visits the dog and they eat the dog then they are round. If someone is round then they visit the tiger.
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If someone visits the dog and they eat the dog then they are round.
((("someone" "visits" "dog" "+") ("someone" "eats" "dog" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they visit the tiger.
((("someone" "is" "round" "+")) -> ("someone" "visits" "tiger" "+"))
The cat is rough.
True
1
proof
[(triple4)]
("cat" "is" "rough" "+")
triple4
The cat does not visit the dog.
False
1
inv-proof
[(triple6)]
("cat" "visits" "dog" "-")
triple6
The cat is round.
True
3
proof
[(((triple6 triple1) -> rule1))]
("cat" "is" "round" "+")
((triple6 triple1) -> (rule1 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is not round.
False
3
inv-proof
[(((triple6 triple1) -> rule1))]
("cat" "is" "round" "-")
((triple6 triple1) -> (rule1 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat visits the tiger.
True
4
proof
[(((((triple6 triple1) -> rule1)) -> rule2))]
("cat" "visits" "tiger" "+")
((((triple6 triple1) -> (rule1 % int2))) -> (rule2 % int1))
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The cat does not visit the tiger.
False
4
inv-proof
[(((((triple6 triple1) -> rule1)) -> rule2))]
("cat" "visits" "tiger" "-")
((((triple6 triple1) -> (rule1 % int2))) -> (rule2 % int1))
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The dog does not visit the tiger.
Unknown
inv-rconc
[@2: The dog visits the tiger.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("dog" "visits" "tiger" "-")
The squirrel visits the tiger.
Unknown
rconc
[@2: The squirrel visits the tiger.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("squirrel" "visits" "tiger" "+")
The tiger does not visit the tiger.
Unknown
inv-rconc
[@2: The tiger visits the tiger.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("tiger" "visits" "tiger" "-")
The dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
The tiger does not eat the cat.
Unknown
inv-random
[@0: The tiger eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "cat" "-")
The tiger sees the dog.
Unknown
random
[@0: The tiger sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "dog" "+")
@0: The cat eats the dog.[(triple1)] The cat eats the tiger.[(triple2)] The cat is big.[(triple3)] The cat is rough.[(triple4)] The cat sees the squirrel.[(triple5)] The cat visits the dog.[(triple6)] The dog eats the tiger.[(triple7)] The squirrel eats the cat.[(triple8)] The squirrel sees the cat.[(triple9)] The tiger visits the cat.[(triple10)] @1: The cat is round.[(((triple6 triple1) -> rule1))] @2: The cat visits the tiger.[(((((triple6 triple1) -> rule1)) -> rule2))]
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple5
The cat visits the dog.
("cat" "visits" "dog" "+")
triple6
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple7
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple8
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple9
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple10
The cat is round.
("cat" "is" "round" "+")
((triple6 triple1) -> (rule1 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
((((triple6 triple1) -> (rule1 % int2))) -> (rule2 % int1))
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2