The cat chases the tiger. The cat is green. The cat needs the tiger. The mouse chases the tiger. The mouse visits the cat. The squirrel chases the mouse. The squirrel is rough. The squirrel visits the tiger. The tiger is green. The tiger is red. The tiger needs the mouse. The tiger visits the cat. If the squirrel chases the mouse and the mouse chases the tiger then the tiger visits the mouse. If something chases the tiger then it visits the cat. If the mouse visits the cat then the cat chases the mouse. If something chases the mouse and it visits the tiger then it needs the tiger. If something is cold and it needs the mouse then it chases the mouse. If something chases the mouse and it needs the tiger then it is big.
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is green.
("cat" "is" "green" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If the squirrel chases the mouse and the mouse chases the tiger then the tiger visits the mouse.
((("squirrel" "chases" "mouse" "+") ("mouse" "chases" "tiger" "+")) -> ("tiger" "visits" "mouse" "+"))
If something chases the tiger then it visits the cat.
((("something" "chases" "tiger" "+")) -> ("something" "visits" "cat" "+"))
If the mouse visits the cat then the cat chases the mouse.
((("mouse" "visits" "cat" "+")) -> ("cat" "chases" "mouse" "+"))
If something chases the mouse and it visits the tiger then it needs the tiger.
((("something" "chases" "mouse" "+") ("something" "visits" "tiger" "+")) -> ("something" "needs" "tiger" "+"))
If something is cold and it needs the mouse then it chases the mouse.
((("something" "is" "cold" "+") ("something" "needs" "mouse" "+")) -> ("something" "chases" "mouse" "+"))
If something chases the mouse and it needs the tiger then it is big.
((("something" "chases" "mouse" "+") ("something" "needs" "tiger" "+")) -> ("something" "is" "big" "+"))
The tiger is red.
True
1
proof
[(triple10)]
("tiger" "is" "red" "+")
triple10
The tiger does not visit the cat.
False
1
inv-proof
[(triple12)]
("tiger" "visits" "cat" "-")
triple12
The cat visits the cat.
True
2
proof
[(((triple1) -> rule2))]
("cat" "visits" "cat" "+")
((triple1) -> (rule2 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The tiger does not visit the mouse.
False
3
inv-proof
[(((triple6 triple4) -> rule1))]
("tiger" "visits" "mouse" "-")
((triple6 triple4) -> (rule1 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
The squirrel is big.
True
5
proof
[(((triple6 ((triple6 triple8) -> rule4)) -> rule6))]
("squirrel" "is" "big" "+")
((triple6 ((triple6 triple8) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int2
The squirrel is not big.
False
5
inv-proof
[(((triple6 ((triple6 triple8) -> rule4)) -> rule6))]
("squirrel" "is" "big" "-")
((triple6 ((triple6 triple8) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int2
The tiger is not big.
Unknown
inv-rconc
[@2: The tiger is big.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("tiger" "is" "big" "-")
The mouse is big.
Unknown
rconc
[@2: The mouse is big.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("mouse" "is" "big" "+")
The mouse does not need the tiger.
Unknown
inv-rconc
[@1: The mouse needs the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "needs" "tiger" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
The squirrel is not cold.
Unknown
inv-random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "-")
The cat needs the mouse.
Unknown
random
[@0: The cat needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "mouse" "+")
@0: The cat chases the tiger.[(triple1)] The cat is green.[(triple2)] The cat needs the tiger.[(triple3)] The mouse chases the tiger.[(triple4)] The mouse visits the cat.[(triple5 OR ((triple4) -> rule2))] The squirrel chases the mouse.[(triple6)] The squirrel is rough.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger is green.[(triple9)] The tiger is red.[(triple10)] The tiger needs the mouse.[(triple11)] The tiger visits the cat.[(triple12)] @1: The cat chases the mouse.[(((triple5) -> rule3) OR ((((triple4) -> rule2)) -> rule3))] The cat visits the cat.[(((triple1) -> rule2))] The squirrel needs the tiger.[(((triple6 triple8) -> rule4))] The tiger visits the mouse.[(((triple6 triple4) -> rule1))] @2: The cat is big.[(((((triple5) -> rule3) triple3) -> rule6) OR ((((((triple4) -> rule2)) -> rule3) triple3) -> rule6))] The squirrel is big.[(((triple6 ((triple6 triple8) -> rule4)) -> rule6))]
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple3
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple4
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple5
((triple4) -> (rule2 % int1))
The mouse visits the cat.
("mouse" "visits" "cat" "+")
int1
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple6
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple7
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple8
The tiger is green.
("tiger" "is" "green" "+")
triple9
The tiger is red.
("tiger" "is" "red" "+")
triple10
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple11
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple12
The cat chases the mouse.
("cat" "chases" "mouse" "+")
((triple5) -> (rule3 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The mouse visits the cat.
("mouse" "visits" "cat" "+")
int2
The cat visits the cat.
("cat" "visits" "cat" "+")
((triple1) -> (rule2 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
((triple6 triple8) -> (rule4 % int1))
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
((triple6 triple4) -> (rule1 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
The cat is big.
("cat" "is" "big" "+")
((((triple5) -> (rule3 % int2)) triple3) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int2
((((((triple4) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int2
The mouse visits the cat.
("mouse" "visits" "cat" "+")
int3
The squirrel is big.
("squirrel" "is" "big" "+")
((triple6 ((triple6 triple8) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int2