The mouse chases the rabbit. The mouse is blue. The rabbit is big. The rabbit is not young. The rabbit visits the tiger. The tiger eats the mouse. The tiger eats the rabbit. If the rabbit is not kind then the rabbit visits the tiger. If the tiger does not chase the rabbit then the rabbit visits the tiger. If someone eats the rabbit then the rabbit visits the tiger. If the mouse eats the tiger then the tiger is young. If someone eats the rabbit and they chase the rabbit then they do not visit the mouse. If someone is big and they do not eat the rabbit then the rabbit does not chase the mouse. If someone is green and they visit the mouse then they are not blue. Big people are not blue.
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is not young.
("rabbit" "is" "young" "-")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
If the rabbit is not kind then the rabbit visits the tiger.
((("rabbit" "is" "kind" "~")) -> ("rabbit" "visits" "tiger" "+"))
If the tiger does not chase the rabbit then the rabbit visits the tiger.
((("tiger" "chases" "rabbit" "~")) -> ("rabbit" "visits" "tiger" "+"))
If someone eats the rabbit then the rabbit visits the tiger.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "visits" "tiger" "+"))
If the mouse eats the tiger then the tiger is young.
((("mouse" "eats" "tiger" "+")) -> ("tiger" "is" "young" "+"))
If someone eats the rabbit and they chase the rabbit then they do not visit the mouse.
((("someone" "eats" "rabbit" "+") ("someone" "chases" "rabbit" "+")) -> ("someone" "visits" "mouse" "-"))
If someone is big and they do not eat the rabbit then the rabbit does not chase the mouse.
((("someone" "is" "big" "+") ("someone" "eats" "rabbit" "~")) -> ("rabbit" "chases" "mouse" "-"))
If someone is green and they visit the mouse then they are not blue.
((("someone" "is" "green" "+") ("someone" "visits" "mouse" "+")) -> ("someone" "is" "blue" "-"))
Big people are not blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "-"))
The mouse chases the rabbit.
True
1
proof
[(triple1)]
("mouse" "chases" "rabbit" "+")
triple1
The mouse is not blue.
False
1
inv-proof
[(triple2)]
("mouse" "is" "blue" "-")
triple2
The rabbit is not blue.
True
2
proof
[(((triple3) -> rule8))]
("rabbit" "is" "blue" "-")
((triple3) -> (rule8 % int1))
The rabbit is not blue.
("rabbit" "is" "blue" "-")
int1
The rabbit is blue.
False
2
inv-proof
[(((triple3) -> rule8))]
("rabbit" "is" "blue" "+")
((triple3) -> (rule8 % int1))
The rabbit is not blue.
("rabbit" "is" "blue" "-")
int1
The tiger is not young.
Unknown
inv-rconc
[@1: The tiger is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "is" "young" "-")
The rabbit visits the mouse.
Unknown
random
[@0: The rabbit visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "mouse" "+")
The mouse does not eat the rabbit.
Unknown
inv-random
[@0: The mouse eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "rabbit" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
@0: The mouse chases the rabbit.[(triple1)] The mouse is blue.[(triple2)] The rabbit is big.[(triple3)] The rabbit is not young.[(triple4)] The rabbit visits the tiger.[(triple5 OR ((triple7) -> rule3))] The tiger eats the mouse.[(triple6)] The tiger eats the rabbit.[(triple7)] @1: The rabbit is not blue.[(((triple3) -> rule8))]
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple1
The mouse is blue.
("mouse" "is" "blue" "+")
triple2
The rabbit is big.
("rabbit" "is" "big" "+")
triple3
The rabbit is not young.
("rabbit" "is" "young" "-")
triple4
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple5
((triple7) -> (rule3 % int1))
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple6
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple7
The rabbit is not blue.
("rabbit" "is" "blue" "-")
((triple3) -> (rule8 % int1))
The rabbit is not blue.
("rabbit" "is" "blue" "-")
int1