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