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