The cat chases the squirrel. The cat chases the tiger. The cat is big. The cat is blue. The cat is red. The cat needs the squirrel. The cat needs the tiger. The squirrel chases the tiger. The squirrel needs the cat. The squirrel visits the cat. The tiger chases the cat. The tiger is green. The tiger needs the cat. The tiger needs the squirrel. The tiger visits the cat. The tiger visits the squirrel. If someone is green then they are rough. If someone is blue and they visit the cat then they visit the tiger. If someone is rough and they visit the cat then the cat visits the squirrel.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is red.
("cat" "is" "red" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and they visit the cat then they visit the tiger.
((("someone" "is" "blue" "+") ("someone" "visits" "cat" "+")) -> ("someone" "visits" "tiger" "+"))
If someone is rough and they visit the cat then the cat visits the squirrel.
((("someone" "is" "rough" "+") ("someone" "visits" "cat" "+")) -> ("cat" "visits" "squirrel" "+"))
The squirrel visits the cat.
True
1
proof
[(triple10)]
("squirrel" "visits" "cat" "+")
triple10
The tiger does not chase the cat.
False
1
inv-proof
[(triple11)]
("tiger" "chases" "cat" "-")
triple11
The tiger is rough.
True
2
proof
[(((triple12) -> rule1))]
("tiger" "is" "rough" "+")
((triple12) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is not rough.
False
2
inv-proof
[(((triple12) -> rule1))]
("tiger" "is" "rough" "-")
((triple12) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The cat visits the squirrel.
True
4
proof
[(((((triple12) -> rule1) triple15) -> rule3))]
("cat" "visits" "squirrel" "+")
((((triple12) -> (rule1 % int2)) triple15) -> (rule3 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The cat does not visit the squirrel.
False
4
inv-proof
[(((((triple12) -> rule1) triple15) -> rule3))]
("cat" "visits" "squirrel" "-")
((((triple12) -> (rule1 % int2)) triple15) -> (rule3 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The cat is not rough.
Unknown
inv-rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "rough" "-")
The squirrel is rough.
Unknown
rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "rough" "+")
The tiger does not visit the tiger.
Unknown
inv-rconc
[@1: The tiger visits the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "visits" "tiger" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
@0: The cat chases the squirrel.[(triple1)] The cat chases the tiger.[(triple2)] The cat is big.[(triple3)] The cat is blue.[(triple4)] The cat is red.[(triple5)] The cat needs the squirrel.[(triple6)] The cat needs the tiger.[(triple7)] The squirrel chases the tiger.[(triple8)] The squirrel needs the cat.[(triple9)] The squirrel visits the cat.[(triple10)] The tiger chases the cat.[(triple11)] The tiger is green.[(triple12)] The tiger needs the cat.[(triple13)] The tiger needs the squirrel.[(triple14)] The tiger visits the cat.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The tiger is rough.[(((triple12) -> rule1))] @2: The cat visits the squirrel.[(((((triple12) -> rule1) triple15) -> rule3))]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat is blue.
("cat" "is" "blue" "+")
triple4
The cat is red.
("cat" "is" "red" "+")
triple5
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple6
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple7
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple8
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple9
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple10
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple11
The tiger is green.
("tiger" "is" "green" "+")
triple12
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple13
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple14
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple15
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple16
The tiger is rough.
("tiger" "is" "rough" "+")
((triple12) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
((((triple12) -> (rule1 % int2)) triple15) -> (rule3 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2