The cow eats the rabbit. The cow is blue. The cow is red. The cow is round. The cow needs the rabbit. The cow sees the rabbit. The rabbit is big. The rabbit is blue. The rabbit needs the cow. The rabbit sees the cow. If someone sees the rabbit then the rabbit eats the cow. If someone is red and they eat the cow then the cow needs the rabbit.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
If someone sees the rabbit then the rabbit eats the cow.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "eats" "cow" "+"))
If someone is red and they eat the cow then the cow needs the rabbit.
((("someone" "is" "red" "+") ("someone" "eats" "cow" "+")) -> ("cow" "needs" "rabbit" "+"))
The rabbit needs the cow.
True
1
proof
[(triple9)]
("rabbit" "needs" "cow" "+")
triple9
The cow is not round.
False
1
inv-proof
[(triple4)]
("cow" "is" "round" "-")
triple4
The rabbit eats the cow.
True
2
proof
[(((triple6) -> rule1))]
("rabbit" "eats" "cow" "+")
((triple6) -> (rule1 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit does not eat the cow.
False
2
inv-proof
[(((triple6) -> rule1))]
("rabbit" "eats" "cow" "-")
((triple6) -> (rule1 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit is not kind.
Unknown
inv-random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
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 eats the rabbit.[(triple1)] The cow is blue.[(triple2)] The cow is red.[(triple3)] The cow is round.[(triple4)] The cow needs the rabbit.[(triple5)] The cow sees the rabbit.[(triple6)] The rabbit is big.[(triple7)] The rabbit is blue.[(triple8)] The rabbit needs the cow.[(triple9)] The rabbit sees the cow.[(triple10)] @1: The rabbit eats the cow.[(((triple6) -> rule1))]
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple5
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple6
The rabbit is big.
("rabbit" "is" "big" "+")
triple7
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple8
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple9
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple10
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
((triple6) -> (rule1 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1