The cat sees the tiger. The mouse eats the tiger. The mouse sees the cat. The tiger eats the cat. The tiger eats the mouse. The tiger is rough. The tiger sees the cat. If someone is young and they eat the tiger then the tiger sees the mouse. If someone eats the tiger then the tiger eats the cat.
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
If someone is young and they eat the tiger then the tiger sees the mouse.
((("someone" "is" "young" "+") ("someone" "eats" "tiger" "+")) -> ("tiger" "sees" "mouse" "+"))
If someone eats the tiger then the tiger eats the cat.
((("someone" "eats" "tiger" "+")) -> ("tiger" "eats" "cat" "+"))
The tiger sees the cat.
True
1
proof
[(triple7)]
("tiger" "sees" "cat" "+")
triple7
The tiger does not see the cat.
False
1
inv-proof
[(triple7)]
("tiger" "sees" "cat" "-")
triple7
The tiger does not see the mouse.
Unknown
inv-rconc
[@1: The tiger sees the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "sees" "mouse" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The cat sees the tiger.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse sees the cat.[(triple3)] The tiger eats the cat.[(triple4 OR ((triple2) -> rule2))] The tiger eats the mouse.[(triple5)] The tiger is rough.[(triple6)] The tiger sees the cat.[(triple7)]
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple2
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple3
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple4
((triple2) -> (rule2 % int1))
The tiger eats the cat.
("tiger" "eats" "cat" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple5
The tiger is rough.
("tiger" "is" "rough" "+")
triple6
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple7