The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle is round. The bald eagle is young. The bald eagle needs the cow. The bald eagle sees the cow. The bald eagle visits the cow. The cow is blue. The cow is green. The cow is kind. The cow is round. The cow is young. The cow needs the bald eagle. The cow sees the bald eagle. The cow visits the bald eagle. If someone visits the bald eagle and the bald eagle visits the cow then the bald eagle is green. If someone sees the bald eagle then they visit the cow.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
If someone visits the bald eagle and the bald eagle visits the cow then the bald eagle is green.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "visits" "cow" "+")) -> ("bald eagle" "is" "green" "+"))
If someone sees the bald eagle then they visit the cow.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "visits" "cow" "+"))
The bald eagle is round.
True
1
proof
[(triple4)]
("bald eagle" "is" "round" "+")
triple4
The bald eagle is not blue.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "blue" "-")
triple1
The cow visits the cow.
True
2
proof
[(((triple15) -> rule2))]
("cow" "visits" "cow" "+")
((triple15) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow does not visit the cow.
False
2
inv-proof
[(((triple15) -> rule2))]
("cow" "visits" "cow" "-")
((triple15) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2 OR ((triple16 triple8) -> rule1))] The bald eagle is kind.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle needs the cow.[(triple6)] The bald eagle sees the cow.[(triple7)] The bald eagle visits the cow.[(triple8)] The cow is blue.[(triple9)] The cow is green.[(triple10)] The cow is kind.[(triple11)] The cow is round.[(triple12)] The cow is young.[(triple13)] The cow needs the bald eagle.[(triple14)] The cow sees the bald eagle.[(triple15)] The cow visits the bald eagle.[(triple16)] @1: The cow visits the cow.[(((triple15) -> rule2))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
((triple16 triple8) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple5
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple6
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple7
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple8
The cow is blue.
("cow" "is" "blue" "+")
triple9
The cow is green.
("cow" "is" "green" "+")
triple10
The cow is kind.
("cow" "is" "kind" "+")
triple11
The cow is round.
("cow" "is" "round" "+")
triple12
The cow is young.
("cow" "is" "young" "+")
triple13
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple14
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple15
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple16
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple15) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1