The bald eagle is blue. The bald eagle is not cold. The bald eagle is not kind. The bald eagle is nice. The bald eagle is young. The bald eagle likes the bear. The bald eagle sees the bear. The bald eagle visits the bear. The bear is not blue. The bear is not cold. The bear is kind. The bear is nice. The bear is not young. The bear likes the bald eagle. The bear sees the bald eagle. The bear visits the bald eagle. If something visits the bear then it sees the bald eagle. If something visits the bald eagle then it visits the bear. If something is cold and nice then it visits the bear. If something visits the bald eagle and it likes the bald eagle then the bald eagle visits the bear. If something is cold and it likes the bald eagle then it likes the bear. If something sees the bald eagle and the bald eagle does not visit the bear then the bear sees the bald eagle. If something is cold and it sees the bald eagle then the bald eagle likes the bear. If something is cold and it does not visit the bald eagle then the bald eagle likes the bear.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear is not blue.
("bear" "is" "blue" "-")
The bear is not cold.
("bear" "is" "cold" "-")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is not young.
("bear" "is" "young" "-")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
If something visits the bear then it sees the bald eagle.
((("something" "visits" "bear" "+")) -> ("something" "sees" "bald eagle" "+"))
If something visits the bald eagle then it visits the bear.
((("something" "visits" "bald eagle" "+")) -> ("something" "visits" "bear" "+"))
If something is cold and nice then it visits the bear.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "visits" "bear" "+"))
If something visits the bald eagle and it likes the bald eagle then the bald eagle visits the bear.
((("something" "visits" "bald eagle" "+") ("something" "likes" "bald eagle" "+")) -> ("bald eagle" "visits" "bear" "+"))
If something is cold and it likes the bald eagle then it likes the bear.
((("something" "is" "cold" "+") ("something" "likes" "bald eagle" "+")) -> ("something" "likes" "bear" "+"))
If something sees the bald eagle and the bald eagle does not visit the bear then the bear sees the bald eagle.
((("something" "sees" "bald eagle" "+") ("bald eagle" "visits" "bear" "~")) -> ("bear" "sees" "bald eagle" "+"))
If something is cold and it sees the bald eagle then the bald eagle likes the bear.
((("something" "is" "cold" "+") ("something" "sees" "bald eagle" "+")) -> ("bald eagle" "likes" "bear" "+"))
If something is cold and it does not visit the bald eagle then the bald eagle likes the bear.
((("something" "is" "cold" "+") ("something" "visits" "bald eagle" "~")) -> ("bald eagle" "likes" "bear" "+"))
The bald eagle is nice.
True
1
proof
[(triple4)]
("bald eagle" "is" "nice" "+")
triple4
The bald eagle does not see the bear.
False
1
inv-proof
[(triple7)]
("bald eagle" "sees" "bear" "-")
triple7
The bear does not like the bear.
Unknown
inv-rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "likes" "bear" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is nice.[(triple4)] The bald eagle is not cold.[(triple2)] The bald eagle is not kind.[(triple3)] The bald eagle is young.[(triple5)] The bald eagle likes the bear.[(triple6)] The bald eagle sees the bear.[(triple7)] The bald eagle visits the bear.[(triple8 OR ((triple16 triple14) -> rule4))] The bear is kind.[(triple11)] The bear is nice.[(triple12)] The bear is not blue.[(triple9)] The bear is not cold.[(triple10)] The bear is not young.[(triple13)] The bear likes the bald eagle.[(triple14)] The bear sees the bald eagle.[(triple15 OR ((((triple16) -> rule2)) -> rule1))] The bear visits the bald eagle.[(triple16)] @1: The bald eagle sees the bald eagle.[(((triple8) -> rule1) OR ((((triple16 triple14) -> rule4)) -> rule1))] The bear visits the bear.[(((triple16) -> rule2))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple2
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple5
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple6
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple7
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple8
((triple16 triple14) -> (rule4 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
triple11
The bear is nice.
("bear" "is" "nice" "+")
triple12
The bear is not blue.
("bear" "is" "blue" "-")
triple9
The bear is not cold.
("bear" "is" "cold" "-")
triple10
The bear is not young.
("bear" "is" "young" "-")
triple13
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple14
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple15
((((triple16) -> (rule2 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple16
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple8) -> (rule1 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
((((triple16 triple14) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple16) -> (rule2 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1