The cow does not chase the mouse. The cow chases the rabbit. The cow is not nice. The cow likes the rabbit. The cow needs the mouse. The mouse chases the cow. The mouse is blue. The mouse is green. The mouse is round. The rabbit does not chase the cow. The rabbit is green. The rabbit does not like the cow. If someone likes the cow and they chase the mouse then they need the rabbit. If someone needs the mouse then they do not need the cow.
The cow does not chase the mouse.
("cow" "chases" "mouse" "-")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is not nice.
("cow" "is" "nice" "-")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is round.
("mouse" "is" "round" "+")
The rabbit does not chase the cow.
("rabbit" "chases" "cow" "-")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit does not like the cow.
("rabbit" "likes" "cow" "-")
If someone likes the cow and they chase the mouse then they need the rabbit.
((("someone" "likes" "cow" "+") ("someone" "chases" "mouse" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone needs the mouse then they do not need the cow.
((("someone" "needs" "mouse" "+")) -> ("someone" "needs" "cow" "-"))
The mouse is blue.
True
1
proof
[(triple7)]
("mouse" "is" "blue" "+")
triple7
The cow does not like the rabbit.
False
1
inv-proof
[(triple4)]
("cow" "likes" "rabbit" "-")
triple4
The cow does not need the cow.
True
2
proof
[(((triple5) -> rule2))]
("cow" "needs" "cow" "-")
((triple5) -> (rule2 % int1))
The cow does not need the cow.
("cow" "needs" "cow" "-")
int1
The cow needs the cow.
False
2
inv-proof
[(((triple5) -> rule2))]
("cow" "needs" "cow" "+")
((triple5) -> (rule2 % int1))
The cow does not need the cow.
("cow" "needs" "cow" "-")
int1
The mouse does not need the rabbit.
Unknown
inv-rconc
[@1: The mouse needs the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "needs" "rabbit" "-")
The cow needs the rabbit.
Unknown
rconc
[@1: The cow needs the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "needs" "rabbit" "+")
The rabbit does not need the cow.
Unknown
inv-random
[@0: The rabbit needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "cow" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The cow chases the rabbit.[(triple2)] The cow does not chase the mouse.[(triple1)] The cow is not nice.[(triple3)] The cow likes the rabbit.[(triple4)] The cow needs the mouse.[(triple5)] The mouse chases the cow.[(triple6)] The mouse is blue.[(triple7)] The mouse is green.[(triple8)] The mouse is round.[(triple9)] The rabbit does not chase the cow.[(triple10)] The rabbit does not like the cow.[(triple12)] The rabbit is green.[(triple11)] @1: The cow does not need the cow.[(((triple5) -> rule2))]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple2
The cow does not chase the mouse.
("cow" "chases" "mouse" "-")
triple1
The cow is not nice.
("cow" "is" "nice" "-")
triple3
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple4
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple5
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple6
The mouse is blue.
("mouse" "is" "blue" "+")
triple7
The mouse is green.
("mouse" "is" "green" "+")
triple8
The mouse is round.
("mouse" "is" "round" "+")
triple9
The rabbit does not chase the cow.
("rabbit" "chases" "cow" "-")
triple10
The rabbit does not like the cow.
("rabbit" "likes" "cow" "-")
triple12
The rabbit is green.
("rabbit" "is" "green" "+")
triple11
The cow does not need the cow.
("cow" "needs" "cow" "-")
((triple5) -> (rule2 % int1))
The cow does not need the cow.
("cow" "needs" "cow" "-")
int1