The bald eagle does not chase the lion. The bald eagle eats the rabbit. The bald eagle is nice. The bald eagle is not red. The bald eagle sees the cat. The bald eagle sees the lion. The cat is big. The cat is cold. The cat is not red. The cat sees the rabbit. The lion eats the bald eagle. The lion is not big. The lion is cold. The lion is round. The rabbit does not chase the lion. If the lion is cold and the lion eats the bald eagle then the bald eagle is cold. If someone sees the bald eagle and the bald eagle is round then they chase the cat. If someone chases the cat and they eat the cat then the cat is cold. If someone is red then they see the cat. If someone sees the bald eagle and the bald eagle is big then the bald eagle is not round. If someone chases the cat then they do not eat the cat. If someone sees the cat then the cat eats the bald eagle. If the bald eagle does not eat the cat then the bald eagle eats the lion.
The bald eagle does not chase the lion.
("bald eagle" "chases" "lion" "-")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is not red.
("cat" "is" "red" "-")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is not big.
("lion" "is" "big" "-")
The lion is cold.
("lion" "is" "cold" "+")
The lion is round.
("lion" "is" "round" "+")
The rabbit does not chase the lion.
("rabbit" "chases" "lion" "-")
If the lion is cold and the lion eats the bald eagle then the bald eagle is cold.
((("lion" "is" "cold" "+") ("lion" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
If someone sees the bald eagle and the bald eagle is round then they chase the cat.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "is" "round" "+")) -> ("someone" "chases" "cat" "+"))
If someone chases the cat and they eat the cat then the cat is cold.
((("someone" "chases" "cat" "+") ("someone" "eats" "cat" "+")) -> ("cat" "is" "cold" "+"))
If someone is red then they see the cat.
((("someone" "is" "red" "+")) -> ("someone" "sees" "cat" "+"))
If someone sees the bald eagle and the bald eagle is big then the bald eagle is not round.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "is" "big" "+")) -> ("bald eagle" "is" "round" "-"))
If someone chases the cat then they do not eat the cat.
((("someone" "chases" "cat" "+")) -> ("someone" "eats" "cat" "-"))
If someone sees the cat then the cat eats the bald eagle.
((("someone" "sees" "cat" "+")) -> ("cat" "eats" "bald eagle" "+"))
If the bald eagle does not eat the cat then the bald eagle eats the lion.
((("bald eagle" "eats" "cat" "~")) -> ("bald eagle" "eats" "lion" "+"))
The cat is big.
True
1
proof
[(triple7)]
("cat" "is" "big" "+")
triple7
The rabbit chases the lion.
False
1
inv-proof
[(triple15)]
("rabbit" "chases" "lion" "+")
triple15
The bald eagle does not chase the cat.
Unknown
inv-rconc
[@1: The bald eagle chases the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "cat" "-")
The rabbit eats the cat.
Unknown
random
[@0: The rabbit eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cat" "+")
@0: The bald eagle does not chase the lion.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is not red.[(triple4)] The bald eagle sees the cat.[(triple5)] The bald eagle sees the lion.[(triple6)] The cat is big.[(triple7)] The cat is cold.[(triple8)] The cat is not red.[(triple9)] The cat sees the rabbit.[(triple10)] The lion eats the bald eagle.[(triple11)] The lion is cold.[(triple13)] The lion is not big.[(triple12)] The lion is round.[(triple14)] The rabbit does not chase the lion.[(triple15)] @1: The bald eagle is cold.[(((triple13 triple11) -> rule1))] The cat eats the bald eagle.[(((triple5) -> rule7))]
The bald eagle does not chase the lion.
("bald eagle" "chases" "lion" "-")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple4
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple5
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple6
The cat is big.
("cat" "is" "big" "+")
triple7
The cat is cold.
("cat" "is" "cold" "+")
triple8
The cat is not red.
("cat" "is" "red" "-")
triple9
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple10
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple11
The lion is cold.
("lion" "is" "cold" "+")
triple13
The lion is not big.
("lion" "is" "big" "-")
triple12
The lion is round.
("lion" "is" "round" "+")
triple14
The rabbit does not chase the lion.
("rabbit" "chases" "lion" "-")
triple15
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple13 triple11) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
((triple5) -> (rule7 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1