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