The cow eats the mouse. The cow eats the rabbit. The cow is green. The cow is red. The cow needs the rabbit. The mouse chases the cow. The mouse chases the rabbit. The mouse eats the cow. The mouse eats the rabbit. The mouse is blue. The mouse needs the rabbit. The rabbit chases the mouse. The rabbit is nice. The rabbit needs the cow. The rabbit needs the mouse. If someone needs the mouse then they are rough. If someone is green and they eat the mouse then the mouse needs the cow. If someone chases the rabbit then the rabbit needs the mouse. Red people are blue. If someone chases the rabbit and they eat the cow then the rabbit is red. If someone chases the cow and the cow is rough then the cow chases the rabbit. If someone chases the rabbit and they eat the rabbit then they chase the cow. All rough, nice people are blue.
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is red.
("cow" "is" "red" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
If someone needs the mouse then they are rough.
((("someone" "needs" "mouse" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and they eat the mouse then the mouse needs the cow.
((("someone" "is" "green" "+") ("someone" "eats" "mouse" "+")) -> ("mouse" "needs" "cow" "+"))
If someone chases the rabbit then the rabbit needs the mouse.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "needs" "mouse" "+"))
Red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone chases the rabbit and they eat the cow then the rabbit is red.
((("someone" "chases" "rabbit" "+") ("someone" "eats" "cow" "+")) -> ("rabbit" "is" "red" "+"))
If someone chases the cow and the cow is rough then the cow chases the rabbit.
((("someone" "chases" "cow" "+") ("cow" "is" "rough" "+")) -> ("cow" "chases" "rabbit" "+"))
If someone chases the rabbit and they eat the rabbit then they chase the cow.
((("someone" "chases" "rabbit" "+") ("someone" "eats" "rabbit" "+")) -> ("someone" "chases" "cow" "+"))
All rough, nice people are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
The rabbit chases the mouse.
True
1
proof
[(triple12)]
("rabbit" "chases" "mouse" "+")
triple12
The rabbit does not need the mouse.
False
1
inv-proof
[(triple15 OR ((triple7) -> rule3))]
("rabbit" "needs" "mouse" "-")
triple15
((triple7) -> (rule3 % int1))
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int1
The rabbit is red.
True
3
proof
[(((triple7 triple8) -> rule5))]
("rabbit" "is" "red" "+")
((triple7 triple8) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is not red.
False
3
inv-proof
[(((triple7 triple8) -> rule5))]
("rabbit" "is" "red" "-")
((triple7 triple8) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The mouse is not rough.
Unknown
inv-rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "rough" "-")
The cow chases the cow.
Unknown
rconc
[@3: The cow chases the cow.[CWA. Example of deepest failure = (rule7 <- rule6 <- rule1 <- FAIL)]]
("cow" "chases" "cow" "+")
The cow does not chase the mouse.
Unknown
inv-random
[@0: The cow chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "mouse" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
@0: The cow eats the mouse.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is green.[(triple3)] The cow is red.[(triple4)] The cow needs the rabbit.[(triple5)] The mouse chases the cow.[(triple6 OR ((triple7 triple9) -> rule7))] The mouse chases the rabbit.[(triple7)] The mouse eats the cow.[(triple8)] The mouse eats the rabbit.[(triple9)] The mouse is blue.[(triple10)] The mouse needs the rabbit.[(triple11)] The rabbit chases the mouse.[(triple12)] The rabbit is nice.[(triple13)] The rabbit needs the cow.[(triple14)] The rabbit needs the mouse.[(triple15 OR ((triple7) -> rule3))] @1: The cow is blue.[(((triple4) -> rule4))] The mouse needs the cow.[(((triple3 triple1) -> rule2))] The rabbit is red.[(((triple7 triple8) -> rule5))] The rabbit is rough.[(((triple15) -> rule1) OR ((((triple7) -> rule3)) -> rule1))] @2: The rabbit is blue.[(((((triple7 triple8) -> rule5)) -> rule4) OR ((((triple15) -> rule1) triple13) -> rule8) OR ((((((triple7) -> rule3)) -> rule1) triple13) -> rule8))]
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple1
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple5
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple6
((triple7 triple9) -> (rule7 % int1))
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int1
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple7
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple8
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple9
The mouse is blue.
("mouse" "is" "blue" "+")
triple10
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple11
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple12
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple13
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple14
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple15
((triple7) -> (rule3 % int1))
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
((triple4) -> (rule4 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The mouse needs the cow.
("mouse" "needs" "cow" "+")
((triple3 triple1) -> (rule2 % int1))
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
((triple7 triple8) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple15) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
((((triple7 triple8) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
((((triple15) -> (rule1 % int2)) triple13) -> (rule8 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
((((((triple7) -> (rule3 % int3))) -> (rule1 % int2)) triple13) -> (rule8 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int3