The mouse chases the tiger. The mouse eats the tiger. The mouse is cold. The mouse is round. The rabbit chases the mouse. The tiger chases the mouse. The tiger eats the mouse. If someone is round then they visit the rabbit. If the tiger visits the mouse then the tiger does not visit the rabbit. If someone visits the rabbit and the rabbit chases the mouse then the rabbit chases 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 round.
("mouse" "is" "round" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
If someone is round then they visit the rabbit.
((("someone" "is" "round" "+")) -> ("someone" "visits" "rabbit" "+"))
If the tiger visits the mouse then the tiger does not visit the rabbit.
((("tiger" "visits" "mouse" "+")) -> ("tiger" "visits" "rabbit" "-"))
If someone visits the rabbit and the rabbit chases the mouse then the rabbit chases the tiger.
((("someone" "visits" "rabbit" "+") ("rabbit" "chases" "mouse" "+")) -> ("rabbit" "chases" "tiger" "+"))
The mouse eats the tiger.
True
1
proof
[(triple2)]
("mouse" "eats" "tiger" "+")
triple2
The rabbit does not chase the mouse.
False
1
inv-proof
[(triple5)]
("rabbit" "chases" "mouse" "-")
triple5
The mouse visits the rabbit.
True
2
proof
[(((triple4) -> rule1))]
("mouse" "visits" "rabbit" "+")
((triple4) -> (rule1 % int1))
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int1
The mouse does not visit the rabbit.
False
2
inv-proof
[(((triple4) -> rule1))]
("mouse" "visits" "rabbit" "-")
((triple4) -> (rule1 % int1))
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int1
The rabbit chases the tiger.
True
4
proof
[(((((triple4) -> rule1) triple5) -> rule3))]
("rabbit" "chases" "tiger" "+")
((((triple4) -> (rule1 % int2)) triple5) -> (rule3 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int2
The rabbit does not chase the tiger.
False
4
inv-proof
[(((((triple4) -> rule1) triple5) -> rule3))]
("rabbit" "chases" "tiger" "-")
((((triple4) -> (rule1 % int2)) triple5) -> (rule3 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int2
The tiger does not visit the rabbit.
Unknown
inv-rconc
[@1: The tiger visits the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "visits" "rabbit" "-")
The rabbit visits the rabbit.
Unknown
rconc
[@1: The rabbit visits the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "visits" "rabbit" "+")
The tiger is not red.
Unknown
inv-random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
The rabbit is not red.
Unknown
inv-random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "-")
The mouse is big.
Unknown
random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "+")
@0: The mouse chases the tiger.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is cold.[(triple3)] The mouse is round.[(triple4)] The rabbit chases the mouse.[(triple5)] The tiger chases the mouse.[(triple6)] The tiger eats the mouse.[(triple7)] @1: The mouse visits the rabbit.[(((triple4) -> rule1))] @2: The rabbit chases the tiger.[(((((triple4) -> rule1) triple5) -> rule3))]
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple2
The mouse is cold.
("mouse" "is" "cold" "+")
triple3
The mouse is round.
("mouse" "is" "round" "+")
triple4
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple5
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple6
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple7
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
((triple4) -> (rule1 % int1))
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int1
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
((((triple4) -> (rule1 % int2)) triple5) -> (rule3 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int2