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