The cow eats the rabbit. The cow is big. The cow is cold. The cow is green. The cow is kind. The cow is red. The cow sees the rabbit. The cow visits the rabbit. The rabbit eats the cow. The rabbit is big. The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit sees the cow. The rabbit visits the cow. If the rabbit eats the cow and the cow eats the rabbit then the cow is kind. If the rabbit sees the cow and the cow eats the rabbit then the cow is kind.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If the rabbit eats the cow and the cow eats the rabbit then the cow is kind.
((("rabbit" "eats" "cow" "+") ("cow" "eats" "rabbit" "+")) -> ("cow" "is" "kind" "+"))
If the rabbit sees the cow and the cow eats the rabbit then the cow is kind.
((("rabbit" "sees" "cow" "+") ("cow" "eats" "rabbit" "+")) -> ("cow" "is" "kind" "+"))
The cow is big.
True
1
proof
[(triple2)]
("cow" "is" "big" "+")
triple2
The cow is not big.
False
1
inv-proof
[(triple2)]
("cow" "is" "big" "-")
triple2
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The cow eats the rabbit.[(triple1)] The cow is big.[(triple2)] The cow is cold.[(triple3)] The cow is green.[(triple4)] The cow is kind.[(triple5 OR ((triple14 triple1) -> rule2) OR ((triple9 triple1) -> rule1))] The cow is red.[(triple6)] The cow sees the rabbit.[(triple7)] The cow visits the rabbit.[(triple8)] The rabbit eats the cow.[(triple9)] The rabbit is big.[(triple10)] The rabbit is green.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is red.[(triple13)] The rabbit sees the cow.[(triple14)] The rabbit visits the cow.[(triple15)]
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow is green.
("cow" "is" "green" "+")
triple4
The cow is kind.
("cow" "is" "kind" "+")
triple5
((triple14 triple1) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
((triple9 triple1) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is red.
("cow" "is" "red" "+")
triple6
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple7
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple8
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple9
The rabbit is big.
("rabbit" "is" "big" "+")
triple10
The rabbit is green.
("rabbit" "is" "green" "+")
triple11
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple12
The rabbit is red.
("rabbit" "is" "red" "+")
triple13
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple14
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple15