The bald eagle is red. The cat likes the rabbit. The dog chases the cat. The dog chases the rabbit. The rabbit chases the cat. The rabbit does not chase the dog. The rabbit likes the dog. All blue things are not green. If something is green then it likes the bald eagle. If something is red and it does not need the cat then the cat is not big. If something likes the dog and it does not chase the dog then the dog chases the cat. If something chases the rabbit then it does not need the dog. If something needs the dog then it is big. If the cat is red and the cat is big then the cat does not chase the rabbit. If the rabbit chases the cat and the rabbit does not like the bald eagle then the cat chases the rabbit.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit does not chase the dog.
("rabbit" "chases" "dog" "-")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
All blue things are not green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "-"))
If something is green then it likes the bald eagle.
((("something" "is" "green" "+")) -> ("something" "likes" "bald eagle" "+"))
If something is red and it does not need the cat then the cat is not big.
((("something" "is" "red" "+") ("something" "needs" "cat" "~")) -> ("cat" "is" "big" "-"))
If something likes the dog and it does not chase the dog then the dog chases the cat.
((("something" "likes" "dog" "+") ("something" "chases" "dog" "~")) -> ("dog" "chases" "cat" "+"))
If something chases the rabbit then it does not need the dog.
((("something" "chases" "rabbit" "+")) -> ("something" "needs" "dog" "-"))
If something needs the dog then it is big.
((("something" "needs" "dog" "+")) -> ("something" "is" "big" "+"))
If the cat is red and the cat is big then the cat does not chase the rabbit.
((("cat" "is" "red" "+") ("cat" "is" "big" "+")) -> ("cat" "chases" "rabbit" "-"))
If the rabbit chases the cat and the rabbit does not like the bald eagle then the cat chases the rabbit.
((("rabbit" "chases" "cat" "+") ("rabbit" "likes" "bald eagle" "~")) -> ("cat" "chases" "rabbit" "+"))
The rabbit chases the cat.
True
1
proof
[(triple5)]
("rabbit" "chases" "cat" "+")
triple5
The rabbit chases the dog.
False
1
inv-proof
[(triple6)]
("rabbit" "chases" "dog" "+")
triple6
The dog does not need the dog.
True
2
proof
[(((triple4) -> rule5))]
("dog" "needs" "dog" "-")
((triple4) -> (rule5 % int1))
The dog does not need the dog.
("dog" "needs" "dog" "-")
int1
The dog needs the dog.
False
2
inv-proof
[(((triple4) -> rule5))]
("dog" "needs" "dog" "+")
((triple4) -> (rule5 % int1))
The dog does not need the dog.
("dog" "needs" "dog" "-")
int1
The bald eagle is not big.
Unknown
inv-rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "big" "-")
The cat is big.
Unknown
rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "big" "+")
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 needs the cat.
Unknown
random
[@0: The rabbit needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "cat" "+")
@0: The bald eagle is red.[(triple1)] The cat likes the rabbit.[(triple2)] The dog chases the cat.[(triple3 OR ((triple7 triple6) -> rule4))] The dog chases the rabbit.[(triple4)] The rabbit chases the cat.[(triple5)] The rabbit does not chase the dog.[(triple6)] The rabbit likes the dog.[(triple7)] @1: The dog does not need the dog.[(((triple4) -> rule5))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple2
The dog chases the cat.
("dog" "chases" "cat" "+")
triple3
((triple7 triple6) -> (rule4 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple4
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple5
The rabbit does not chase the dog.
("rabbit" "chases" "dog" "-")
triple6
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple7
The dog does not need the dog.
("dog" "needs" "dog" "-")
((triple4) -> (rule5 % int1))
The dog does not need the dog.
("dog" "needs" "dog" "-")
int1