The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is big. The bald eagle is cold. The bald eagle is nice. The bald eagle is red. The bald eagle is round. The bald eagle visits the lion. The lion chases the bald eagle. The lion eats the bald eagle. The lion is cold. The lion is nice. The lion is red. The lion is not round. The lion visits the bald eagle. If something visits the bald eagle and it eats the bald eagle then the bald eagle chases the lion.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is not round.
("lion" "is" "round" "-")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If something visits the bald eagle and it eats the bald eagle then the bald eagle chases the lion.
((("something" "visits" "bald eagle" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "chases" "lion" "+"))
The bald eagle is round.
True
1
proof
[(triple7)]
("bald eagle" "is" "round" "+")
triple7
The bald eagle is not cold.
False
1
inv-proof
[(triple4)]
("bald eagle" "is" "cold" "-")
triple4
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle chases the lion.[(triple1 OR ((triple15 triple10) -> rule1))] The bald eagle eats the lion.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is red.[(triple6)] The bald eagle is round.[(triple7)] The bald eagle visits the lion.[(triple8)] The lion chases the bald eagle.[(triple9)] The lion eats the bald eagle.[(triple10)] The lion is cold.[(triple11)] The lion is nice.[(triple12)] The lion is not round.[(triple14)] The lion is red.[(triple13)] The lion visits the bald eagle.[(triple15)]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
((triple15 triple10) -> (rule1 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple5
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple6
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple7
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple8
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple9
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple10
The lion is cold.
("lion" "is" "cold" "+")
triple11
The lion is nice.
("lion" "is" "nice" "+")
triple12
The lion is not round.
("lion" "is" "round" "-")
triple14
The lion is red.
("lion" "is" "red" "+")
triple13
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple15