The cow eats the mouse. The cow does not eat the tiger. The cow visits the tiger. The mouse eats the cow. The mouse eats the tiger. The mouse is nice. The mouse sees the cow. The tiger eats the cow. The tiger eats the mouse. The tiger is red. The tiger is rough. The tiger visits the mouse. If someone sees the cow and the cow is not rough then they are green. If someone is rough and they see the tiger then they eat the mouse. If someone visits the tiger then the tiger sees the mouse.
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow does not eat the tiger.
("cow" "eats" "tiger" "-")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If someone sees the cow and the cow is not rough then they are green.
((("someone" "sees" "cow" "+") ("cow" "is" "rough" "~")) -> ("someone" "is" "green" "+"))
If someone is rough and they see the tiger then they eat the mouse.
((("someone" "is" "rough" "+") ("someone" "sees" "tiger" "+")) -> ("someone" "eats" "mouse" "+"))
If someone visits the tiger then the tiger sees the mouse.
((("someone" "visits" "tiger" "+")) -> ("tiger" "sees" "mouse" "+"))
The mouse eats the cow.
True
1
proof
[(triple4)]
("mouse" "eats" "cow" "+")
triple4
The cow does not visit the tiger.
False
1
inv-proof
[(triple3)]
("cow" "visits" "tiger" "-")
triple3
The cow is not green.
Unknown
inv-rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "green" "-")
The tiger visits the cow.
Unknown
random
[@0: The tiger visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "cow" "+")
@0: The cow does not eat the tiger.[(triple2)] The cow eats the mouse.[(triple1)] The cow visits the tiger.[(triple3)] The mouse eats the cow.[(triple4)] The mouse eats the tiger.[(triple5)] The mouse is nice.[(triple6)] The mouse sees the cow.[(triple7)] The tiger eats the cow.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger is red.[(triple10)] The tiger is rough.[(triple11)] The tiger visits the mouse.[(triple12)] @1: The tiger sees the mouse.[(((triple3) -> rule3))]
The cow does not eat the tiger.
("cow" "eats" "tiger" "-")
triple2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple1
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple3
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple4
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple5
The mouse is nice.
("mouse" "is" "nice" "+")
triple6
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple7
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple8
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple9
The tiger is red.
("tiger" "is" "red" "+")
triple10
The tiger is rough.
("tiger" "is" "rough" "+")
triple11
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple12
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
((triple3) -> (rule3 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1