The mouse eats the rabbit. The mouse likes the tiger. The mouse visits the rabbit. The mouse visits the tiger. The rabbit eats the tiger. The rabbit is not blue. The rabbit is nice. The rabbit does not like the tiger. The tiger does not eat the mouse. The tiger does not eat the rabbit. The tiger is blue. The tiger is green. The tiger is nice. The tiger likes the mouse. The tiger visits the mouse. If someone eats the rabbit then they are not blue. If someone visits the mouse and they do not like the tiger then the tiger does not eat the mouse.
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is not blue.
("rabbit" "is" "blue" "-")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit does not like the tiger.
("rabbit" "likes" "tiger" "-")
The tiger does not eat the mouse.
("tiger" "eats" "mouse" "-")
The tiger does not eat the rabbit.
("tiger" "eats" "rabbit" "-")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If someone eats the rabbit then they are not blue.
((("someone" "eats" "rabbit" "+")) -> ("someone" "is" "blue" "-"))
If someone visits the mouse and they do not like the tiger then the tiger does not eat the mouse.
((("someone" "visits" "mouse" "+") ("someone" "likes" "tiger" "~")) -> ("tiger" "eats" "mouse" "-"))
The mouse eats the rabbit.
True
1
proof
[(triple1)]
("mouse" "eats" "rabbit" "+")
triple1
The tiger eats the mouse.
False
1
inv-proof
[(triple9)]
("tiger" "eats" "mouse" "+")
triple9
The mouse is not blue.
True
2
proof
[(((triple1) -> rule1))]
("mouse" "is" "blue" "-")
((triple1) -> (rule1 % int1))
The mouse is not blue.
("mouse" "is" "blue" "-")
int1
The mouse is blue.
False
2
inv-proof
[(((triple1) -> rule1))]
("mouse" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The mouse is not blue.
("mouse" "is" "blue" "-")
int1
The rabbit does not visit the tiger.
Unknown
inv-random
[@0: The rabbit visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "tiger" "-")
The rabbit visits the mouse.
Unknown
random
[@0: The rabbit visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "mouse" "+")
The rabbit is not green.
Unknown
inv-random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "-")
The tiger likes the rabbit.
Unknown
random
[@0: The tiger likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "rabbit" "+")
@0: The mouse eats the rabbit.[(triple1)] The mouse likes the tiger.[(triple2)] The mouse visits the rabbit.[(triple3)] The mouse visits the tiger.[(triple4)] The rabbit does not like the tiger.[(triple8)] The rabbit eats the tiger.[(triple5)] The rabbit is nice.[(triple7)] The rabbit is not blue.[(triple6)] The tiger does not eat the mouse.[(triple9)] The tiger does not eat the rabbit.[(triple10)] The tiger is blue.[(triple11)] The tiger is green.[(triple12)] The tiger is nice.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The mouse is not blue.[(((triple1) -> rule1))]
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple2
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple4
The rabbit does not like the tiger.
("rabbit" "likes" "tiger" "-")
triple8
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple5
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple7
The rabbit is not blue.
("rabbit" "is" "blue" "-")
triple6
The tiger does not eat the mouse.
("tiger" "eats" "mouse" "-")
triple9
The tiger does not eat the rabbit.
("tiger" "eats" "rabbit" "-")
triple10
The tiger is blue.
("tiger" "is" "blue" "+")
triple11
The tiger is green.
("tiger" "is" "green" "+")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
triple13
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple14
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple15
The mouse is not blue.
("mouse" "is" "blue" "-")
((triple1) -> (rule1 % int1))
The mouse is not blue.
("mouse" "is" "blue" "-")
int1