The cow chases the rabbit. The cow eats the rabbit. The cow is not green. The cow is nice. The cow needs the rabbit. The rabbit chases the cow. The rabbit eats the cow. The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit needs the cow. If something needs the rabbit and the rabbit chases the cow then it is kind. If something needs the rabbit then it needs the cow. If the cow chases the rabbit and the rabbit is not green then the cow does not need the rabbit. If something eats the cow and it is not green then the cow is red. If something needs the cow and the cow needs the rabbit then it eats the cow. If the cow eats the rabbit then the cow is kind.
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow is nice.
("cow" "is" "nice" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
If something needs the rabbit and the rabbit chases the cow then it is kind.
((("something" "needs" "rabbit" "+") ("rabbit" "chases" "cow" "+")) -> ("something" "is" "kind" "+"))
If something needs the rabbit then it needs the cow.
((("something" "needs" "rabbit" "+")) -> ("something" "needs" "cow" "+"))
If the cow chases the rabbit and the rabbit is not green then the cow does not need the rabbit.
((("cow" "chases" "rabbit" "+") ("rabbit" "is" "green" "~")) -> ("cow" "needs" "rabbit" "-"))
If something eats the cow and it is not green then the cow is red.
((("something" "eats" "cow" "+") ("something" "is" "green" "~")) -> ("cow" "is" "red" "+"))
If something needs the cow and the cow needs the rabbit then it eats the cow.
((("something" "needs" "cow" "+") ("cow" "needs" "rabbit" "+")) -> ("something" "eats" "cow" "+"))
If the cow eats the rabbit then the cow is kind.
((("cow" "eats" "rabbit" "+")) -> ("cow" "is" "kind" "+"))
The rabbit is blue.
True
1
proof
[(triple8)]
("rabbit" "is" "blue" "+")
triple8
The rabbit is not blue.
False
1
inv-proof
[(triple8)]
("rabbit" "is" "blue" "-")
triple8
The cow needs the cow.
True
2
proof
[(((triple5) -> rule2))]
("cow" "needs" "cow" "+")
((triple5) -> (rule2 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow does not need the cow.
False
2
inv-proof
[(((triple5) -> rule2))]
("cow" "needs" "cow" "-")
((triple5) -> (rule2 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow eats the cow.
True
4
proof
[(((((triple5) -> rule2) triple5) -> rule5))]
("cow" "eats" "cow" "+")
((((triple5) -> (rule2 % int2)) triple5) -> (rule5 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
int2
The cow does not eat the cow.
False
4
inv-proof
[(((((triple5) -> rule2) triple5) -> rule5))]
("cow" "eats" "cow" "-")
((((triple5) -> (rule2 % int2)) triple5) -> (rule5 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
int2
The cow is red.
True
6
proof
[(((((((triple5) -> rule2) triple5) -> rule5) triple3) -> rule4))]
("cow" "is" "red" "+")
((((((triple5) -> (rule2 % int3)) triple5) -> (rule5 % int2)) triple3) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow needs the cow.
("cow" "needs" "cow" "+")
int3
The cow is not red.
False
6
inv-proof
[(((((((triple5) -> rule2) triple5) -> rule5) triple3) -> rule4))]
("cow" "is" "red" "-")
((((((triple5) -> (rule2 % int3)) triple5) -> (rule5 % int2)) triple3) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow needs the cow.
("cow" "needs" "cow" "+")
int3
The rabbit is not kind.
Unknown
inv-rconc
[@1: The rabbit is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "kind" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
The cow is not blue.
Unknown
inv-random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The cow chases the rabbit.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is nice.[(triple4)] The cow is not green.[(triple3)] The cow needs the rabbit.[(triple5)] The rabbit chases the cow.[(triple6)] The rabbit eats the cow.[(triple7 OR ((triple12 triple5) -> rule5))] The rabbit is blue.[(triple8)] The rabbit is green.[(triple9)] The rabbit is nice.[(triple10)] The rabbit is red.[(triple11)] The rabbit needs the cow.[(triple12)] @1: The cow is kind.[(((triple2) -> rule6) OR ((triple5 triple6) -> rule1))] The cow needs the cow.[(((triple5) -> rule2))] @2: The cow eats the cow.[(((((triple5) -> rule2) triple5) -> rule5))] @3: The cow is red.[(((((((triple5) -> rule2) triple5) -> rule5) triple3) -> rule4))]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple1
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is not green.
("cow" "is" "green" "-")
triple3
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple5
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple6
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple7
((triple12 triple5) -> (rule5 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple8
The rabbit is green.
("rabbit" "is" "green" "+")
triple9
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple10
The rabbit is red.
("rabbit" "is" "red" "+")
triple11
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple12
The cow is kind.
("cow" "is" "kind" "+")
((triple2) -> (rule6 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
((triple5 triple6) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
((triple5) -> (rule2 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
((((triple5) -> (rule2 % int2)) triple5) -> (rule5 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
((((((triple5) -> (rule2 % int3)) triple5) -> (rule5 % int2)) triple3) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow needs the cow.
("cow" "needs" "cow" "+")
int3