The bald eagle is not red. The bald eagle does not visit the cat. The cat chases the bald eagle. The cat chases the dog. The cat chases the rabbit. The cat eats the dog. The cat eats the rabbit. The cat is red. The cat visits the bald eagle. The cat does not visit the dog. The dog does not eat the cat. The dog eats the rabbit. The dog visits the bald eagle. The rabbit does not chase the cat. The rabbit does not eat the dog. The rabbit visits the cat. If someone eats the dog then the dog visits the cat. If someone chases the rabbit and they eat the rabbit then the rabbit is not cold.
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is red.
("cat" "is" "red" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cat does not visit the dog.
("cat" "visits" "dog" "-")
The dog does not eat the cat.
("dog" "eats" "cat" "-")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The rabbit does not chase the cat.
("rabbit" "chases" "cat" "-")
The rabbit does not eat the dog.
("rabbit" "eats" "dog" "-")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If someone eats the dog then the dog visits the cat.
((("someone" "eats" "dog" "+")) -> ("dog" "visits" "cat" "+"))
If someone chases the rabbit and they eat the rabbit then the rabbit is not cold.
((("someone" "chases" "rabbit" "+") ("someone" "eats" "rabbit" "+")) -> ("rabbit" "is" "cold" "-"))
The cat is red.
True
1
proof
[(triple8)]
("cat" "is" "red" "+")
triple8
The rabbit does not visit the cat.
False
1
inv-proof
[(triple16)]
("rabbit" "visits" "cat" "-")
triple16
The rabbit is not cold.
True
3
proof
[(((triple5 triple7) -> rule2))]
("rabbit" "is" "cold" "-")
((triple5 triple7) -> (rule2 % int1))
The rabbit is not cold.
("rabbit" "is" "cold" "-")
int1
The dog does not visit the cat.
False
2
inv-proof
[(((triple6) -> rule1))]
("dog" "visits" "cat" "-")
((triple6) -> (rule1 % int1))
The dog visits the cat.
("dog" "visits" "cat" "+")
int1
The cat does not visit the rabbit.
Unknown
inv-random
[@0: The cat visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "rabbit" "-")
The bald eagle visits the rabbit.
Unknown
random
[@0: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "rabbit" "+")
The rabbit is not red.
Unknown
inv-random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "-")
The bald eagle eats the cat.
Unknown
random
[@0: The bald eagle eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cat" "+")
@0: The bald eagle does not visit the cat.[(triple2)] The bald eagle is not red.[(triple1)] The cat chases the bald eagle.[(triple3)] The cat chases the dog.[(triple4)] The cat chases the rabbit.[(triple5)] The cat does not visit the dog.[(triple10)] The cat eats the dog.[(triple6)] The cat eats the rabbit.[(triple7)] The cat is red.[(triple8)] The cat visits the bald eagle.[(triple9)] The dog does not eat the cat.[(triple11)] The dog eats the rabbit.[(triple12)] The dog visits the bald eagle.[(triple13)] The rabbit does not chase the cat.[(triple14)] The rabbit does not eat the dog.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The dog visits the cat.[(((triple6) -> rule1))] The rabbit is not cold.[(((triple5 triple7) -> rule2))]
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
triple2
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple3
The cat chases the dog.
("cat" "chases" "dog" "+")
triple4
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple5
The cat does not visit the dog.
("cat" "visits" "dog" "-")
triple10
The cat eats the dog.
("cat" "eats" "dog" "+")
triple6
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple7
The cat is red.
("cat" "is" "red" "+")
triple8
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple9
The dog does not eat the cat.
("dog" "eats" "cat" "-")
triple11
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple12
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple13
The rabbit does not chase the cat.
("rabbit" "chases" "cat" "-")
triple14
The rabbit does not eat the dog.
("rabbit" "eats" "dog" "-")
triple15
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple16
The dog visits the cat.
("dog" "visits" "cat" "+")
((triple6) -> (rule1 % int1))
The dog visits the cat.
("dog" "visits" "cat" "+")
int1
The rabbit is not cold.
("rabbit" "is" "cold" "-")
((triple5 triple7) -> (rule2 % int1))
The rabbit is not cold.
("rabbit" "is" "cold" "-")
int1