The bald eagle is not cold. The cat needs the rabbit. The dog chases the bald eagle. The rabbit needs the bald eagle. If something chases the cat then the cat needs the bald eagle. If something sees the cat then the cat is cold. If something is red and it does not chase the cat then it is green. If something is cold and it sees the rabbit then it does not need the cat. If something is young and it does not see the cat then the cat chases the rabbit. If something sees the cat and it chases the dog then it chases the bald eagle.
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
If something chases the cat then the cat needs the bald eagle.
((("something" "chases" "cat" "+")) -> ("cat" "needs" "bald eagle" "+"))
If something sees the cat then the cat is cold.
((("something" "sees" "cat" "+")) -> ("cat" "is" "cold" "+"))
If something is red and it does not chase the cat then it is green.
((("something" "is" "red" "+") ("something" "chases" "cat" "~")) -> ("something" "is" "green" "+"))
If something is cold and it sees the rabbit then it does not need the cat.
((("something" "is" "cold" "+") ("something" "sees" "rabbit" "+")) -> ("something" "needs" "cat" "-"))
If something is young and it does not see the cat then the cat chases the rabbit.
((("something" "is" "young" "+") ("something" "sees" "cat" "~")) -> ("cat" "chases" "rabbit" "+"))
If something sees the cat and it chases the dog then it chases the bald eagle.
((("something" "sees" "cat" "+") ("something" "chases" "dog" "+")) -> ("something" "chases" "bald eagle" "+"))
The bald eagle is not cold.
True
1
proof
[(triple1)]
("bald eagle" "is" "cold" "-")
triple1
The rabbit does not need the bald eagle.
False
1
inv-proof
[(triple4)]
("rabbit" "needs" "bald eagle" "-")
triple4
The rabbit does not chase the bald eagle.
Unknown
inv-rconc
[@1: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "chases" "bald eagle" "-")
The bald eagle chases the cat.
Unknown
random
[@0: The bald eagle chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cat" "+")
@0: The bald eagle is not cold.[(triple1)] The cat needs the rabbit.[(triple2)] The dog chases the bald eagle.[(triple3)] The rabbit needs the bald eagle.[(triple4)]
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple1
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple4