The mouse chases the tiger. The mouse eats the tiger. The mouse is blue. The mouse is kind. The mouse is nice. The mouse is round. The mouse likes the tiger. The tiger chases the mouse. The tiger eats the mouse. The tiger is blue. The tiger is kind. The tiger is nice. The tiger is red. The tiger is round. The tiger likes the mouse. If someone eats the mouse then the mouse chases the tiger. If someone chases the tiger then they eat the tiger. If someone chases the mouse and the mouse is nice then the mouse eats the tiger. If someone is blue then they like the tiger. If someone chases the mouse then the mouse likes the tiger. If someone likes the mouse and the mouse is round then the mouse chases the tiger.
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is round.
("mouse" "is" "round" "+")
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 blue.
("tiger" "is" "blue" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
If someone eats the mouse then the mouse chases the tiger.
((("someone" "eats" "mouse" "+")) -> ("mouse" "chases" "tiger" "+"))
If someone chases the tiger then they eat the tiger.
((("someone" "chases" "tiger" "+")) -> ("someone" "eats" "tiger" "+"))
If someone chases the mouse and the mouse is nice then the mouse eats the tiger.
((("someone" "chases" "mouse" "+") ("mouse" "is" "nice" "+")) -> ("mouse" "eats" "tiger" "+"))
If someone is blue then they like the tiger.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "tiger" "+"))
If someone chases the mouse then the mouse likes the tiger.
((("someone" "chases" "mouse" "+")) -> ("mouse" "likes" "tiger" "+"))
If someone likes the mouse and the mouse is round then the mouse chases the tiger.
((("someone" "likes" "mouse" "+") ("mouse" "is" "round" "+")) -> ("mouse" "chases" "tiger" "+"))
The mouse is blue.
True
1
proof
[(triple3)]
("mouse" "is" "blue" "+")
triple3
The tiger does not eat the mouse.
False
1
inv-proof
[(triple9)]
("tiger" "eats" "mouse" "-")
triple9
The tiger likes the tiger.
True
2
proof
[(((triple10) -> rule4))]
("tiger" "likes" "tiger" "+")
((triple10) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger does not like the tiger.
False
2
inv-proof
[(((triple10) -> rule4))]
("tiger" "likes" "tiger" "-")
((triple10) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger does not eat the tiger.
Unknown
inv-rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "eats" "tiger" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The mouse chases the tiger.[(triple1 OR ((triple9) -> rule1) OR ((triple15 triple6) -> rule6))] The mouse eats the tiger.[(triple2 OR ((triple1) -> rule2) OR ((triple8 triple5) -> rule3) OR ((((triple9) -> rule1)) -> rule2) OR ((((triple15 triple6) -> rule6)) -> rule2))] The mouse is blue.[(triple3)] The mouse is kind.[(triple4)] The mouse is nice.[(triple5)] The mouse is round.[(triple6)] The mouse likes the tiger.[(triple7 OR ((triple3) -> rule4) OR ((triple8) -> rule5))] The tiger chases the mouse.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger is blue.[(triple10)] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger is red.[(triple13)] The tiger is round.[(triple14)] The tiger likes the mouse.[(triple15)] @1: The tiger likes the tiger.[(((triple10) -> rule4))]
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple1
((triple9) -> (rule1 % int1))
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int1
((triple15 triple6) -> (rule6 % int1))
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple2
((triple1) -> (rule2 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
((triple8 triple5) -> (rule3 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int2
((((triple15 triple6) -> (rule6 % int2))) -> (rule2 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
triple3
The mouse is kind.
("mouse" "is" "kind" "+")
triple4
The mouse is nice.
("mouse" "is" "nice" "+")
triple5
The mouse is round.
("mouse" "is" "round" "+")
triple6
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple7
((triple3) -> (rule4 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
((triple8) -> (rule5 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple8
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger is kind.
("tiger" "is" "kind" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is red.
("tiger" "is" "red" "+")
triple13
The tiger is round.
("tiger" "is" "round" "+")
triple14
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple15
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((triple10) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1