The mouse chases the tiger. The mouse eats the tiger. The mouse is cold. The mouse is kind. The mouse is rough. The mouse likes the tiger. The tiger chases the mouse. The tiger eats the mouse. The tiger is cold. The tiger is kind. The tiger is rough. The tiger likes the mouse. If someone likes the mouse and the mouse chases the tiger then they are red. If someone is kind and they eat the tiger then they eat the mouse. If someone is rough then they chase the tiger. If the tiger likes the mouse and the mouse chases the tiger then the mouse eats the tiger. If someone eats the tiger then they chase the tiger. If someone chases the mouse then they eat the tiger.
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
If someone likes the mouse and the mouse chases the tiger then they are red.
((("someone" "likes" "mouse" "+") ("mouse" "chases" "tiger" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and they eat the tiger then they eat the mouse.
((("someone" "is" "kind" "+") ("someone" "eats" "tiger" "+")) -> ("someone" "eats" "mouse" "+"))
If someone is rough then they chase the tiger.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "tiger" "+"))
If the tiger likes the mouse and the mouse chases the tiger then the mouse eats the tiger.
((("tiger" "likes" "mouse" "+") ("mouse" "chases" "tiger" "+")) -> ("mouse" "eats" "tiger" "+"))
If someone eats the tiger then they chase the tiger.
((("someone" "eats" "tiger" "+")) -> ("someone" "chases" "tiger" "+"))
If someone chases the mouse then they eat the tiger.
((("someone" "chases" "mouse" "+")) -> ("someone" "eats" "tiger" "+"))
The mouse is rough.
True
1
proof
[(triple5)]
("mouse" "is" "rough" "+")
triple5
The mouse is not rough.
False
1
inv-proof
[(triple5)]
("mouse" "is" "rough" "-")
triple5
The mouse is not red.
Unknown
inv-rconc
[@1: The mouse is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "red" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
@0: The mouse chases the tiger.[(triple1 OR ((triple2) -> rule5) OR ((triple5) -> rule3))] The mouse eats the tiger.[(triple2 OR ((triple12 triple1) -> rule4) OR ((triple12 ((triple5) -> rule3)) -> rule4))] The mouse is cold.[(triple3)] The mouse is kind.[(triple4)] The mouse is rough.[(triple5)] The mouse likes the tiger.[(triple6)] The tiger chases the mouse.[(triple7)] The tiger eats the mouse.[(triple8 OR ((triple10 ((triple7) -> rule6)) -> rule2))] The tiger is cold.[(triple9)] The tiger is kind.[(triple10)] The tiger is rough.[(triple11)] The tiger likes the mouse.[(triple12)] @1: The mouse eats the mouse.[(((triple4 triple2) -> rule2) OR ((triple4 ((triple12 triple1) -> rule4)) -> rule2) OR ((triple4 ((triple12 ((triple5) -> rule3)) -> rule4)) -> rule2))] The tiger chases the tiger.[(((triple11) -> rule3) OR ((((triple7) -> rule6)) -> rule5))] The tiger eats the tiger.[(((triple7) -> rule6))] The tiger is red.[(((triple12 triple1) -> rule1) OR ((triple12 ((triple2) -> rule5)) -> rule1) OR ((triple12 ((triple5) -> rule3)) -> rule1))]
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple1
((triple2) -> (rule5 % int1))
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int1
((triple5) -> (rule3 % int1))
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple2
((triple12 triple1) -> (rule4 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
((triple12 ((triple5) -> (rule3 % int2))) -> (rule4 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
triple3
The mouse is kind.
("mouse" "is" "kind" "+")
triple4
The mouse is rough.
("mouse" "is" "rough" "+")
triple5
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple6
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple7
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple8
((triple10 ((triple7) -> (rule6 % int2))) -> (rule2 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger is cold.
("tiger" "is" "cold" "+")
triple9
The tiger is kind.
("tiger" "is" "kind" "+")
triple10
The tiger is rough.
("tiger" "is" "rough" "+")
triple11
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple12
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple4 triple2) -> (rule2 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
((triple4 ((triple12 triple1) -> (rule4 % int2))) -> (rule2 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int2
((triple4 ((triple12 ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int2
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((triple11) -> (rule3 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule5 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple7) -> (rule6 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
((triple12 triple1) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
((triple12 ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int2
((triple12 ((triple5) -> (rule3 % int2))) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int2