The bald eagle chases the bear. The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle sees the bear. The bald eagle visits the bear. The bear chases the bald eagle. The bear is big. The bear is not green. The bear is kind. The bear is not red. The bear sees the bald eagle. The bear visits the bald eagle. If something sees the bald eagle then the bald eagle visits the bear. If something chases the bald eagle and it sees the bear then the bear is green. Green things are red. If something sees the bear then the bear sees the bald eagle. If something visits the bear then it visits the bald eagle. If the bear chases the bald eagle then the bear visits the bald eagle. If something sees the bald eagle and it is red then it is not blue. If the bear does not see the bald eagle and the bald eagle does not see the bear then the bear is red.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
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 red.
("bald eagle" "is" "red" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is not green.
("bear" "is" "green" "-")
The bear is kind.
("bear" "is" "kind" "+")
The bear is not red.
("bear" "is" "red" "-")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
If something sees the bald eagle then the bald eagle visits the bear.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "visits" "bear" "+"))
If something chases the bald eagle and it sees the bear then the bear is green.
((("something" "chases" "bald eagle" "+") ("something" "sees" "bear" "+")) -> ("bear" "is" "green" "+"))
Green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
If something sees the bear then the bear sees the bald eagle.
((("something" "sees" "bear" "+")) -> ("bear" "sees" "bald eagle" "+"))
If something visits the bear then it visits the bald eagle.
((("something" "visits" "bear" "+")) -> ("something" "visits" "bald eagle" "+"))
If the bear chases the bald eagle then the bear visits the bald eagle.
((("bear" "chases" "bald eagle" "+")) -> ("bear" "visits" "bald eagle" "+"))
If something sees the bald eagle and it is red then it is not blue.
((("something" "sees" "bald eagle" "+") ("something" "is" "red" "+")) -> ("something" "is" "blue" "-"))
If the bear does not see the bald eagle and the bald eagle does not see the bear then the bear is red.
((("bear" "sees" "bald eagle" "~") ("bald eagle" "sees" "bear" "~")) -> ("bear" "is" "red" "+"))
The bear chases the bald eagle.
True
1
proof
[(triple9)]
("bear" "chases" "bald eagle" "+")
triple9
The bear is not kind.
False
1
inv-proof
[(triple12)]
("bear" "is" "kind" "-")
triple12
The bald eagle visits the bald eagle.
True
2
proof
[(((triple8) -> rule5) OR ((((triple14) -> rule1)) -> rule5) OR ((((((triple7) -> rule4)) -> rule1)) -> rule5))]
("bald eagle" "visits" "bald eagle" "+")
((triple8) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
((((triple14) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
((((((triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
The bald eagle does not visit the bald eagle.
False
2
inv-proof
[(((triple8) -> rule5) OR ((((triple14) -> rule1)) -> rule5) OR ((((((triple7) -> rule4)) -> rule1)) -> rule5))]
("bald eagle" "visits" "bald eagle" "-")
((triple8) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
((((triple14) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
((((((triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
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 bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is kind.[(triple5)] The bald eagle is red.[(triple6 OR ((triple4) -> rule3))] The bald eagle sees the bear.[(triple7)] The bald eagle visits the bear.[(triple8 OR ((triple14) -> rule1) OR ((((triple7) -> rule4)) -> rule1))] The bear chases the bald eagle.[(triple9)] The bear is big.[(triple10)] The bear is kind.[(triple12)] The bear is not green.[(triple11)] The bear is not red.[(triple13)] The bear sees the bald eagle.[(triple14 OR ((triple7) -> rule4))] The bear visits the bald eagle.[(triple15 OR ((triple9) -> rule6))] @1: The bald eagle visits the bald eagle.[(((triple8) -> rule5) OR ((((triple14) -> rule1)) -> rule5) OR ((((((triple7) -> rule4)) -> rule1)) -> rule5))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple5
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple6
((triple4) -> (rule3 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple7
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple8
((triple14) -> (rule1 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple9
The bear is big.
("bear" "is" "big" "+")
triple10
The bear is kind.
("bear" "is" "kind" "+")
triple12
The bear is not green.
("bear" "is" "green" "-")
triple11
The bear is not red.
("bear" "is" "red" "-")
triple13
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple14
((triple7) -> (rule4 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple15
((triple9) -> (rule6 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple8) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
((((triple14) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
((((((triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3