The bald eagle is cold. The dog chases the squirrel. The dog likes the rabbit. The rabbit chases the bald eagle. The rabbit chases the squirrel. The rabbit likes the squirrel. The squirrel needs the dog. If something chases the squirrel then it likes the bald eagle. If something is kind and it likes the dog then the dog likes the bald eagle. If something is big and it needs the bald eagle then the bald eagle is blue. If something chases the squirrel and the squirrel chases the dog then the dog needs the rabbit. If something chases the rabbit and the rabbit is cold then the rabbit is round. If something needs the dog then it likes the rabbit.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If something chases the squirrel then it likes the bald eagle.
((("something" "chases" "squirrel" "+")) -> ("something" "likes" "bald eagle" "+"))
If something is kind and it likes the dog then the dog likes the bald eagle.
((("something" "is" "kind" "+") ("something" "likes" "dog" "+")) -> ("dog" "likes" "bald eagle" "+"))
If something is big and it needs the bald eagle then the bald eagle is blue.
((("something" "is" "big" "+") ("something" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If something chases the squirrel and the squirrel chases the dog then the dog needs the rabbit.
((("something" "chases" "squirrel" "+") ("squirrel" "chases" "dog" "+")) -> ("dog" "needs" "rabbit" "+"))
If something chases the rabbit and the rabbit is cold then the rabbit is round.
((("something" "chases" "rabbit" "+") ("rabbit" "is" "cold" "+")) -> ("rabbit" "is" "round" "+"))
If something needs the dog then it likes the rabbit.
((("something" "needs" "dog" "+")) -> ("something" "likes" "rabbit" "+"))
The rabbit chases the squirrel.
True
1
proof
[(triple5)]
("rabbit" "chases" "squirrel" "+")
triple5
The dog does not chase the squirrel.
False
1
inv-proof
[(triple2)]
("dog" "chases" "squirrel" "-")
triple2
The squirrel likes the rabbit.
True
2
proof
[(((triple7) -> rule6))]
("squirrel" "likes" "rabbit" "+")
((triple7) -> (rule6 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The squirrel does not like the rabbit.
False
2
inv-proof
[(((triple7) -> rule6))]
("squirrel" "likes" "rabbit" "-")
((triple7) -> (rule6 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The bald eagle is blue.
Unknown
rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "blue" "+")
The dog does not need the bald eagle.
Unknown
inv-random
[@0: The dog needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bald eagle" "-")
The bald eagle needs the dog.
Unknown
random
[@0: The bald eagle needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "dog" "+")
@0: The bald eagle is cold.[(triple1)] The dog chases the squirrel.[(triple2)] The dog likes the rabbit.[(triple3)] The rabbit chases the bald eagle.[(triple4)] The rabbit chases the squirrel.[(triple5)] The rabbit likes the squirrel.[(triple6)] The squirrel needs the dog.[(triple7)] @1: The dog likes the bald eagle.[(((triple2) -> rule1))] The rabbit likes the bald eagle.[(((triple5) -> rule1))] The squirrel likes the rabbit.[(((triple7) -> rule6))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple2
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple3
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple4
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple5
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple6
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple7
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
((triple7) -> (rule6 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1