The cow is green. The cow is kind. The cow likes the rabbit. The cow needs the rabbit. The cow visits the rabbit. The rabbit likes the cow. The rabbit visits the cow. If the cow needs the rabbit then the cow is rough.
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If the cow needs the rabbit then the cow is rough.
((("cow" "needs" "rabbit" "+")) -> ("cow" "is" "rough" "+"))
The rabbit likes the cow.
True
1
proof
[(triple6)]
("rabbit" "likes" "cow" "+")
triple6
The cow is not green.
False
1
inv-proof
[(triple1)]
("cow" "is" "green" "-")
triple1
The cow is rough.
True
2
proof
[(((triple4) -> rule1))]
("cow" "is" "rough" "+")
((triple4) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is not rough.
False
2
inv-proof
[(((triple4) -> rule1))]
("cow" "is" "rough" "-")
((triple4) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
The rabbit is not blue.
Unknown
inv-random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The cow is green.[(triple1)] The cow is kind.[(triple2)] The cow likes the rabbit.[(triple3)] The cow needs the rabbit.[(triple4)] The cow visits the rabbit.[(triple5)] The rabbit likes the cow.[(triple6)] The rabbit visits the cow.[(triple7)] @1: The cow is rough.[(((triple4) -> rule1))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple3
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple4
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple5
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple6
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple7
The cow is rough.
("cow" "is" "rough" "+")
((triple4) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1