The mouse chases the rabbit. The mouse eats the rabbit. The mouse is big. The mouse is blue. The mouse is nice. The mouse is rough. The mouse is round. The mouse visits the rabbit. The rabbit chases the mouse. The rabbit eats the mouse. The rabbit is big. The rabbit is blue. The rabbit is nice. The rabbit is rough. The rabbit is round. The rabbit visits the mouse. If someone is nice and they visit the mouse then they chase the mouse. If someone visits the mouse and they are round then the mouse is round. If someone eats the rabbit then they eat the mouse. If someone eats the mouse and the mouse is blue then they visit the mouse. If someone eats the rabbit and they are nice then they chase the rabbit. If someone visits the rabbit then the rabbit eats the mouse.
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If someone is nice and they visit the mouse then they chase the mouse.
((("someone" "is" "nice" "+") ("someone" "visits" "mouse" "+")) -> ("someone" "chases" "mouse" "+"))
If someone visits the mouse and they are round then the mouse is round.
((("someone" "visits" "mouse" "+") ("someone" "is" "round" "+")) -> ("mouse" "is" "round" "+"))
If someone eats the rabbit then they eat the mouse.
((("someone" "eats" "rabbit" "+")) -> ("someone" "eats" "mouse" "+"))
If someone eats the mouse and the mouse is blue then they visit the mouse.
((("someone" "eats" "mouse" "+") ("mouse" "is" "blue" "+")) -> ("someone" "visits" "mouse" "+"))
If someone eats the rabbit and they are nice then they chase the rabbit.
((("someone" "eats" "rabbit" "+") ("someone" "is" "nice" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone visits the rabbit then the rabbit eats the mouse.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "eats" "mouse" "+"))
The rabbit is nice.
True
1
proof
[(triple13)]
("rabbit" "is" "nice" "+")
triple13
The rabbit is not big.
False
1
inv-proof
[(triple11)]
("rabbit" "is" "big" "-")
triple11
The mouse eats the mouse.
True
2
proof
[(((triple2) -> rule3))]
("mouse" "eats" "mouse" "+")
((triple2) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse does not eat the mouse.
False
2
inv-proof
[(((triple2) -> rule3))]
("mouse" "eats" "mouse" "-")
((triple2) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse visits the mouse.
True
4
proof
[(((((triple2) -> rule3) triple4) -> rule4))]
("mouse" "visits" "mouse" "+")
((((triple2) -> (rule3 % int2)) triple4) -> (rule4 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse does not visit the mouse.
False
4
inv-proof
[(((((triple2) -> rule3) triple4) -> rule4))]
("mouse" "visits" "mouse" "-")
((((triple2) -> (rule3 % int2)) triple4) -> (rule4 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse chases the mouse.
True
6
proof
[(((triple5 ((((triple2) -> rule3) triple4) -> rule4)) -> rule1))]
("mouse" "chases" "mouse" "+")
((triple5 ((((triple2) -> (rule3 % int3)) triple4) -> (rule4 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3
The mouse does not chase the mouse.
False
6
inv-proof
[(((triple5 ((((triple2) -> rule3) triple4) -> rule4)) -> rule1))]
("mouse" "chases" "mouse" "-")
((triple5 ((((triple2) -> (rule3 % int3)) triple4) -> (rule4 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The mouse chases the rabbit.[(triple1 OR ((triple2 triple5) -> rule5))] The mouse eats the rabbit.[(triple2)] The mouse is big.[(triple3)] The mouse is blue.[(triple4)] The mouse is nice.[(triple5)] The mouse is rough.[(triple6)] The mouse is round.[(triple7 OR ((triple16 triple15) -> rule2) OR ((((triple10 triple4) -> rule4) triple15) -> rule2) OR ((((((triple8) -> rule6) triple4) -> rule4) triple15) -> rule2))] The mouse visits the rabbit.[(triple8)] The rabbit chases the mouse.[(triple9 OR ((triple13 triple16) -> rule1) OR ((triple13 ((triple10 triple4) -> rule4)) -> rule1) OR ((triple13 ((((triple8) -> rule6) triple4) -> rule4)) -> rule1))] The rabbit eats the mouse.[(triple10 OR ((triple8) -> rule6))] The rabbit is big.[(triple11)] The rabbit is blue.[(triple12)] The rabbit is nice.[(triple13)] The rabbit is rough.[(triple14)] The rabbit is round.[(triple15)] The rabbit visits the mouse.[(triple16 OR ((triple10 triple4) -> rule4) OR ((((triple8) -> rule6) triple4) -> rule4))] @1: The mouse eats the mouse.[(((triple2) -> rule3))] @2: The mouse visits the mouse.[(((((triple2) -> rule3) triple4) -> rule4))] @3: The mouse chases the mouse.[(((triple5 ((((triple2) -> rule3) triple4) -> rule4)) -> rule1))]
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple1
((triple2 triple5) -> (rule5 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple2
The mouse is big.
("mouse" "is" "big" "+")
triple3
The mouse is blue.
("mouse" "is" "blue" "+")
triple4
The mouse is nice.
("mouse" "is" "nice" "+")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple6
The mouse is round.
("mouse" "is" "round" "+")
triple7
((triple16 triple15) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
((((triple10 triple4) -> (rule4 % int2)) triple15) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
int2
((((((triple8) -> (rule6 % int3)) triple4) -> (rule4 % int2)) triple15) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
int2
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int3
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple8
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple9
((triple13 triple16) -> (rule1 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
((triple13 ((triple10 triple4) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
int2
((triple13 ((((triple8) -> (rule6 % int3)) triple4) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
int2
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int3
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple10
((triple8) -> (rule6 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
triple11
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple12
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple13
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple14
The rabbit is round.
("rabbit" "is" "round" "+")
triple15
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple16
((triple10 triple4) -> (rule4 % int1))
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
int1
((((triple8) -> (rule6 % int2)) triple4) -> (rule4 % int1))
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple2) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((((triple2) -> (rule3 % int2)) triple4) -> (rule4 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple5 ((((triple2) -> (rule3 % int3)) triple4) -> (rule4 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3