The cow chases the mouse. The cow is nice. The cow is red. The cow is young. The cow needs the mouse. The cow sees the rabbit. The mouse chases the cow. The mouse chases the rabbit. The mouse is cold. The mouse is green. The mouse is young. The mouse needs the rabbit. The rabbit chases the cow. The rabbit is red. The rabbit needs the cow. The rabbit sees the cow. If someone sees the cow and the cow chases the mouse then the cow is cold. If someone chases the cow and they are nice then they chase the mouse. If someone sees the rabbit and the rabbit is green then the rabbit chases the cow.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
If someone sees the cow and the cow chases the mouse then the cow is cold.
((("someone" "sees" "cow" "+") ("cow" "chases" "mouse" "+")) -> ("cow" "is" "cold" "+"))
If someone chases the cow and they are nice then they chase the mouse.
((("someone" "chases" "cow" "+") ("someone" "is" "nice" "+")) -> ("someone" "chases" "mouse" "+"))
If someone sees the rabbit and the rabbit is green then the rabbit chases the cow.
((("someone" "sees" "rabbit" "+") ("rabbit" "is" "green" "+")) -> ("rabbit" "chases" "cow" "+"))
The mouse chases the cow.
True
1
proof
[(triple7)]
("mouse" "chases" "cow" "+")
triple7
The mouse does not need the rabbit.
False
1
inv-proof
[(triple12)]
("mouse" "needs" "rabbit" "-")
triple12
The cow is cold.
True
3
proof
[(((triple16 triple1) -> rule1))]
("cow" "is" "cold" "+")
((triple16 triple1) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is not cold.
False
3
inv-proof
[(((triple16 triple1) -> rule1))]
("cow" "is" "cold" "-")
((triple16 triple1) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The rabbit does not chase the mouse.
Unknown
inv-rconc
[@1: The rabbit chases the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "chases" "mouse" "-")
The mouse chases the mouse.
Unknown
rconc
[@1: The mouse chases the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "chases" "mouse" "+")
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The cow chases the mouse.[(triple1)] The cow is nice.[(triple2)] The cow is red.[(triple3)] The cow is young.[(triple4)] The cow needs the mouse.[(triple5)] The cow sees the rabbit.[(triple6)] The mouse chases the cow.[(triple7)] The mouse chases the rabbit.[(triple8)] The mouse is cold.[(triple9)] The mouse is green.[(triple10)] The mouse is young.[(triple11)] The mouse needs the rabbit.[(triple12)] The rabbit chases the cow.[(triple13)] The rabbit is red.[(triple14)] The rabbit needs the cow.[(triple15)] The rabbit sees the cow.[(triple16)] @1: The cow is cold.[(((triple16 triple1) -> rule1))]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple5
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple6
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple7
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple8
The mouse is cold.
("mouse" "is" "cold" "+")
triple9
The mouse is green.
("mouse" "is" "green" "+")
triple10
The mouse is young.
("mouse" "is" "young" "+")
triple11
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple12
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple13
The rabbit is red.
("rabbit" "is" "red" "+")
triple14
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple15
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple16
The cow is cold.
("cow" "is" "cold" "+")
((triple16 triple1) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1