The cow chases the rabbit. The cow is big. The cow is cold. The cow is kind. The cow is nice. The cow is red. The cow likes the rabbit. The cow needs the rabbit. The rabbit chases the cow. The rabbit is big. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit likes the cow. The rabbit needs the cow. If something needs the rabbit and the rabbit is kind then the rabbit is cold.
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
If something needs the rabbit and the rabbit is kind then the rabbit is cold.
((("something" "needs" "rabbit" "+") ("rabbit" "is" "kind" "+")) -> ("rabbit" "is" "cold" "+"))
The cow is red.
True
1
proof
[(triple6)]
("cow" "is" "red" "+")
triple6
The cow does not need the rabbit.
False
1
inv-proof
[(triple8)]
("cow" "needs" "rabbit" "-")
triple8
The rabbit is cold.
True
3
proof
[(((triple8 triple11) -> rule1))]
("rabbit" "is" "cold" "+")
((triple8 triple11) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is not cold.
False
3
inv-proof
[(((triple8 triple11) -> rule1))]
("rabbit" "is" "cold" "-")
((triple8 triple11) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
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 rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The cow chases the rabbit.[(triple1)] The cow is big.[(triple2)] The cow is cold.[(triple3)] The cow is kind.[(triple4)] The cow is nice.[(triple5)] The cow is red.[(triple6)] The cow likes the rabbit.[(triple7)] The cow needs the rabbit.[(triple8)] The rabbit chases the cow.[(triple9)] The rabbit is big.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is red.[(triple13)] The rabbit likes the cow.[(triple14)] The rabbit needs the cow.[(triple15)] @1: The rabbit is cold.[(((triple8 triple11) -> rule1))]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple5
The cow is red.
("cow" "is" "red" "+")
triple6
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple7
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple8
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple9
The rabbit is big.
("rabbit" "is" "big" "+")
triple10
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple11
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple12
The rabbit is red.
("rabbit" "is" "red" "+")
triple13
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple14
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple15
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple8 triple11) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1