The cow chases the rabbit. The cow is big. The cow is not kind. The cow is red. The cow is young. The cow likes the rabbit. The cow needs the rabbit. The rabbit does not chase the cow. The rabbit is young. The rabbit likes the cow. If someone is kind then they chase the rabbit. If someone likes the rabbit and they are red then the rabbit is kind. If someone chases the cow and they like the cow then the cow is not red.
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The cow is red.
("cow" "is" "red" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The rabbit does not chase the cow.
("rabbit" "chases" "cow" "-")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
If someone is kind then they chase the rabbit.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone likes the rabbit and they are red then the rabbit is kind.
((("someone" "likes" "rabbit" "+") ("someone" "is" "red" "+")) -> ("rabbit" "is" "kind" "+"))
If someone chases the cow and they like the cow then the cow is not red.
((("someone" "chases" "cow" "+") ("someone" "likes" "cow" "+")) -> ("cow" "is" "red" "-"))
The cow needs the rabbit.
True
1
proof
[(triple7)]
("cow" "needs" "rabbit" "+")
triple7
The cow does not like the rabbit.
False
1
inv-proof
[(triple6)]
("cow" "likes" "rabbit" "-")
triple6
The rabbit is kind.
True
3
proof
[(((triple6 triple4) -> rule2))]
("rabbit" "is" "kind" "+")
((triple6 triple4) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is not kind.
False
3
inv-proof
[(((triple6 triple4) -> rule2))]
("rabbit" "is" "kind" "-")
((triple6 triple4) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit chases the rabbit.
True
4
proof
[(((((triple6 triple4) -> rule2)) -> rule1))]
("rabbit" "chases" "rabbit" "+")
((((triple6 triple4) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit does not chase the rabbit.
False
4
inv-proof
[(((((triple6 triple4) -> rule2)) -> rule1))]
("rabbit" "chases" "rabbit" "-")
((((triple6 triple4) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit is not big.
Unknown
inv-random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
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 rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
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 cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The cow chases the rabbit.[(triple1)] The cow is big.[(triple2)] The cow is not kind.[(triple3)] The cow is red.[(triple4)] The cow is young.[(triple5)] The cow likes the rabbit.[(triple6)] The cow needs the rabbit.[(triple7)] The rabbit does not chase the cow.[(triple8)] The rabbit is young.[(triple9)] The rabbit likes the cow.[(triple10)] @1: The rabbit is kind.[(((triple6 triple4) -> rule2))] @2: The rabbit chases the rabbit.[(((((triple6 triple4) -> rule2)) -> rule1))]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is not kind.
("cow" "is" "kind" "-")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple6
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple7
The rabbit does not chase the cow.
("rabbit" "chases" "cow" "-")
triple8
The rabbit is young.
("rabbit" "is" "young" "+")
triple9
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple10
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple6 triple4) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((((triple6 triple4) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2