The cow eats the rabbit. The cow is blue. The cow is green. The cow is nice. The cow is rough. The cow is round. The cow does not see the rabbit. The cow visits the rabbit. The rabbit eats the cow. The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is rough. The rabbit is round. The rabbit sees the cow. The rabbit visits the cow. If someone is round then they visit the rabbit.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow does not see the rabbit.
("cow" "sees" "rabbit" "-")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
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 rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If someone is round then they visit the rabbit.
((("someone" "is" "round" "+")) -> ("someone" "visits" "rabbit" "+"))
The rabbit sees the cow.
True
1
proof
[(triple15)]
("rabbit" "sees" "cow" "+")
triple15
The rabbit does not eat the cow.
False
1
inv-proof
[(triple9)]
("rabbit" "eats" "cow" "-")
triple9
The rabbit visits the rabbit.
True
2
proof
[(((triple14) -> rule1))]
("rabbit" "visits" "rabbit" "+")
((triple14) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit does not visit the rabbit.
False
2
inv-proof
[(((triple14) -> rule1))]
("rabbit" "visits" "rabbit" "-")
((triple14) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
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 cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The cow does not see the rabbit.[(triple7)] The cow eats the rabbit.[(triple1)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow is nice.[(triple4)] The cow is rough.[(triple5)] The cow is round.[(triple6)] The cow visits the rabbit.[(triple8 OR ((triple6) -> rule1))] The rabbit eats the cow.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is green.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is rough.[(triple13)] The rabbit is round.[(triple14)] The rabbit sees the cow.[(triple15)] The rabbit visits the cow.[(triple16)] @1: The rabbit visits the rabbit.[(((triple14) -> rule1))]
The cow does not see the rabbit.
("cow" "sees" "rabbit" "-")
triple7
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
The cow is round.
("cow" "is" "round" "+")
triple6
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple8
((triple6) -> (rule1 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple9
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
The rabbit is green.
("rabbit" "is" "green" "+")
triple11
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple12
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple13
The rabbit is round.
("rabbit" "is" "round" "+")
triple14
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple15
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple16
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((triple14) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1