The bald eagle eats the lion. The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is kind. The bald eagle likes the lion. The bald eagle visits the lion. The lion eats the bald eagle. The lion is blue. The lion is cold. The lion is green. The lion is kind. The lion is red. The lion likes the bald eagle. The lion visits the bald eagle. If something is green and it eats the lion then the lion likes the bald eagle. If the lion is red and the lion visits the bald eagle then the lion likes the bald eagle. If something likes the lion then it likes the bald eagle. If the bald eagle eats the lion and the bald eagle visits the lion then the bald eagle likes the lion. If something visits the bald eagle and the bald eagle eats the lion then the lion eats the bald eagle. If the lion is green and the lion visits the bald eagle then the lion eats the bald eagle. If something visits the lion then the lion is blue. If the bald eagle eats the lion then the lion likes the bald eagle.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If something is green and it eats the lion then the lion likes the bald eagle.
((("something" "is" "green" "+") ("something" "eats" "lion" "+")) -> ("lion" "likes" "bald eagle" "+"))
If the lion is red and the lion visits the bald eagle then the lion likes the bald eagle.
((("lion" "is" "red" "+") ("lion" "visits" "bald eagle" "+")) -> ("lion" "likes" "bald eagle" "+"))
If something likes the lion then it likes the bald eagle.
((("something" "likes" "lion" "+")) -> ("something" "likes" "bald eagle" "+"))
If the bald eagle eats the lion and the bald eagle visits the lion then the bald eagle likes the lion.
((("bald eagle" "eats" "lion" "+") ("bald eagle" "visits" "lion" "+")) -> ("bald eagle" "likes" "lion" "+"))
If something visits the bald eagle and the bald eagle eats the lion then the lion eats the bald eagle.
((("something" "visits" "bald eagle" "+") ("bald eagle" "eats" "lion" "+")) -> ("lion" "eats" "bald eagle" "+"))
If the lion is green and the lion visits the bald eagle then the lion eats the bald eagle.
((("lion" "is" "green" "+") ("lion" "visits" "bald eagle" "+")) -> ("lion" "eats" "bald eagle" "+"))
If something visits the lion then the lion is blue.
((("something" "visits" "lion" "+")) -> ("lion" "is" "blue" "+"))
If the bald eagle eats the lion then the lion likes the bald eagle.
((("bald eagle" "eats" "lion" "+")) -> ("lion" "likes" "bald eagle" "+"))
The bald eagle is blue.
True
1
proof
[(triple2)]
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is not kind.
False
1
inv-proof
[(triple5)]
("bald eagle" "is" "kind" "-")
triple5
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is kind.[(triple5)] The bald eagle likes the lion.[(triple6 OR ((triple1 triple7) -> rule4))] The bald eagle visits the lion.[(triple7)] The lion eats the bald eagle.[(triple8 OR ((triple11 triple15) -> rule6) OR ((triple15 triple1) -> rule5))] The lion is blue.[(triple9 OR ((triple7) -> rule7))] The lion is cold.[(triple10)] The lion is green.[(triple11)] The lion is kind.[(triple12)] The lion is red.[(triple13)] The lion likes the bald eagle.[(triple14 OR ((triple1) -> rule8) OR ((triple13 triple15) -> rule2) OR ((triple4 triple1) -> rule1))] The lion visits the bald eagle.[(triple15)] @1: The bald eagle likes the bald eagle.[(((triple6) -> rule3) OR ((((triple1 triple7) -> rule4)) -> rule3))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple5
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple6
((triple1 triple7) -> (rule4 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple7
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple8
((triple11 triple15) -> (rule6 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
((triple15 triple1) -> (rule5 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
triple9
((triple7) -> (rule7 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
triple10
The lion is green.
("lion" "is" "green" "+")
triple11
The lion is kind.
("lion" "is" "kind" "+")
triple12
The lion is red.
("lion" "is" "red" "+")
triple13
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple14
((triple1) -> (rule8 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
((triple13 triple15) -> (rule2 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
((triple4 triple1) -> (rule1 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple15
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple6) -> (rule3 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
((((triple1 triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int2