The bald eagle is blue. The bald eagle visits the cat. The cat is blue. The cat is cold. The cat needs the bald eagle. The cat sees the bald eagle. The cat visits the cow. The cow is blue. The cow is not green. The cow needs the bald eagle. The cow sees the cat. The cow visits the bald eagle. If someone is young and green then they visit the bald eagle. If someone sees the cat and they are young then they visit the cat. If someone needs the cat then they do not visit the cat. If someone is blue then they see the bald eagle. If someone sees the cow and they are not young then they do not need the cow. If someone needs the cow and the cow is green then the cow does not visit the cat. If someone visits the cow and they are nice then the cow sees the cat. If the bald eagle needs the cat and the cat is cold then the bald eagle visits the cow.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
If someone is young and green then they visit the bald eagle.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone sees the cat and they are young then they visit the cat.
((("someone" "sees" "cat" "+") ("someone" "is" "young" "+")) -> ("someone" "visits" "cat" "+"))
If someone needs the cat then they do not visit the cat.
((("someone" "needs" "cat" "+")) -> ("someone" "visits" "cat" "-"))
If someone is blue then they see the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone sees the cow and they are not young then they do not need the cow.
((("someone" "sees" "cow" "+") ("someone" "is" "young" "~")) -> ("someone" "needs" "cow" "-"))
If someone needs the cow and the cow is green then the cow does not visit the cat.
((("someone" "needs" "cow" "+") ("cow" "is" "green" "+")) -> ("cow" "visits" "cat" "-"))
If someone visits the cow and they are nice then the cow sees the cat.
((("someone" "visits" "cow" "+") ("someone" "is" "nice" "+")) -> ("cow" "sees" "cat" "+"))
If the bald eagle needs the cat and the cat is cold then the bald eagle visits the cow.
((("bald eagle" "needs" "cat" "+") ("cat" "is" "cold" "+")) -> ("bald eagle" "visits" "cow" "+"))
The cat is blue.
True
1
proof
[(triple3)]
("cat" "is" "blue" "+")
triple3
The cow is not blue.
False
1
inv-proof
[(triple8)]
("cow" "is" "blue" "-")
triple8
The bald eagle does not visit the cow.
Unknown
inv-rconc
[@1: The bald eagle visits the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "visits" "cow" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle visits the cat.[(triple2)] The cat is blue.[(triple3)] The cat is cold.[(triple4)] The cat needs the bald eagle.[(triple5)] The cat sees the bald eagle.[(triple6 OR ((triple3) -> rule4))] The cat visits the cow.[(triple7)] The cow is blue.[(triple8)] The cow is not green.[(triple9)] The cow needs the bald eagle.[(triple10)] The cow sees the cat.[(triple11)] The cow visits the bald eagle.[(triple12)] @1: The bald eagle sees the bald eagle.[(((triple1) -> rule4))] The cow sees the bald eagle.[(((triple8) -> rule4))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple4
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple5
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple6
((triple3) -> (rule4 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The cat visits the cow.
("cat" "visits" "cow" "+")
triple7
The cow is blue.
("cow" "is" "blue" "+")
triple8
The cow is not green.
("cow" "is" "green" "-")
triple9
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple10
The cow sees the cat.
("cow" "sees" "cat" "+")
triple11
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple12
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple1) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
((triple8) -> (rule4 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1