The cat does not chase the mouse. The cat does not see the mouse. The cat sees the tiger. The cat visits the tiger. The mouse chases the cat. The mouse chases the tiger. The mouse sees the tiger. The tiger chases the cat. The tiger is red. The tiger is young. If the tiger sees the mouse and the tiger chases the cat then the cat is big.
The cat does not chase the mouse.
("cat" "chases" "mouse" "-")
The cat does not see the mouse.
("cat" "sees" "mouse" "-")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is young.
("tiger" "is" "young" "+")
If the tiger sees the mouse and the tiger chases the cat then the cat is big.
((("tiger" "sees" "mouse" "+") ("tiger" "chases" "cat" "+")) -> ("cat" "is" "big" "+"))
The mouse chases the tiger.
True
1
proof
[(triple6)]
("mouse" "chases" "tiger" "+")
triple6
The tiger does not chase the cat.
False
1
inv-proof
[(triple8)]
("tiger" "chases" "cat" "-")
triple8
The cat is not big.
Unknown
inv-rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "big" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
@0: The cat does not chase the mouse.[(triple1)] The cat does not see the mouse.[(triple2)] The cat sees the tiger.[(triple3)] The cat visits the tiger.[(triple4)] The mouse chases the cat.[(triple5)] The mouse chases the tiger.[(triple6)] The mouse sees the tiger.[(triple7)] The tiger chases the cat.[(triple8)] The tiger is red.[(triple9)] The tiger is young.[(triple10)]
The cat does not chase the mouse.
("cat" "chases" "mouse" "-")
triple1
The cat does not see the mouse.
("cat" "sees" "mouse" "-")
triple2
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple3
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple4
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple5
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple6
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple7
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple8
The tiger is red.
("tiger" "is" "red" "+")
triple9
The tiger is young.
("tiger" "is" "young" "+")
triple10