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