The bald eagle is big. The bald eagle visits the squirrel. The cow needs the bald eagle. The cow needs the squirrel. The cow sees the bald eagle. The cow sees the squirrel. The cow visits the bald eagle. The cow visits the squirrel. The squirrel is rough. The squirrel visits the bald eagle. If someone sees the bald eagle then they need the squirrel. If someone visits the bald eagle and the bald eagle needs the squirrel then they are big. If someone is blue and big then they see the bald eagle. If someone needs the bald eagle then the bald eagle sees the cow. If someone sees the squirrel then the squirrel is round. If someone visits the bald eagle and the bald eagle is big then they are young. If someone visits the squirrel then they are blue. If someone visits the squirrel then the squirrel needs the cow.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If someone sees the bald eagle then they need the squirrel.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone visits the bald eagle and the bald eagle needs the squirrel then they are big.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "needs" "squirrel" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and big then they see the bald eagle.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone needs the bald eagle then the bald eagle sees the cow.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "sees" "cow" "+"))
If someone sees the squirrel then the squirrel is round.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
If someone visits the bald eagle and the bald eagle is big then they are young.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone visits the squirrel then they are blue.
((("someone" "visits" "squirrel" "+")) -> ("someone" "is" "blue" "+"))
If someone visits the squirrel then the squirrel needs the cow.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "needs" "cow" "+"))
The cow sees the squirrel.
True
1
proof
[(triple6)]
("cow" "sees" "squirrel" "+")
triple6
The bald eagle is not big.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "big" "-")
triple1
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "young" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle visits the squirrel.[(triple2)] The cow needs the bald eagle.[(triple3)] The cow needs the squirrel.[(triple4 OR ((triple5) -> rule1) OR ((((((triple8) -> rule7) ((triple7 ((((((triple2) -> rule7) triple1) -> rule3)) -> rule1)) -> rule2)) -> rule3)) -> rule1))] The cow sees the bald eagle.[(triple5 OR ((((triple8) -> rule7) ((triple7 ((((((triple2) -> rule7) triple1) -> rule3)) -> rule1)) -> rule2)) -> rule3))] The cow sees the squirrel.[(triple6)] The cow visits the bald eagle.[(triple7)] The cow visits the squirrel.[(triple8)] The squirrel is rough.[(triple9)] The squirrel visits the bald eagle.[(triple10)] @1: The bald eagle is blue.[(((triple2) -> rule7))] The bald eagle sees the cow.[(((triple3) -> rule4))] The cow is blue.[(((triple8) -> rule7))] The cow is young.[(((triple7 triple1) -> rule6))] The squirrel is round.[(((triple6) -> rule5))] The squirrel is young.[(((triple10 triple1) -> rule6))] The squirrel needs the cow.[(((triple2) -> rule8) OR ((triple8) -> rule8))] @2: The bald eagle sees the bald eagle.[(((((triple2) -> rule7) triple1) -> rule3))] @3: The bald eagle needs the squirrel.[(((((((triple2) -> rule7) triple1) -> rule3)) -> rule1))] @4: The cow is big.[(((triple7 ((((((triple2) -> rule7) triple1) -> rule3)) -> rule1)) -> rule2))] The squirrel is big.[(((triple10 ((((((triple2) -> rule7) triple1) -> rule3)) -> rule1)) -> rule2))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple2
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple3
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple4
((triple5) -> (rule1 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
((((((triple8) -> (rule7 % int7)) ((triple7 ((((((triple2) -> (rule7 % int6)) triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int4
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int5
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int6
The cow is blue.
("cow" "is" "blue" "+")
int7
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple5
((((triple8) -> (rule7 % int6)) ((triple7 ((((((triple2) -> (rule7 % int5)) triple1) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int3
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int5
The cow is blue.
("cow" "is" "blue" "+")
int6
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple6
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple7
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple8
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple9
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple10
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple2) -> (rule7 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
((triple3) -> (rule4 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
((triple8) -> (rule7 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((triple7 triple1) -> (rule6 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((triple6) -> (rule5 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((triple10 triple1) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
((triple2) -> (rule8 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
((triple8) -> (rule8 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((triple2) -> (rule7 % int2)) triple1) -> (rule3 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
((((((triple2) -> (rule7 % int3)) triple1) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The cow is big.
("cow" "is" "big" "+")
((triple7 ((((((triple2) -> (rule7 % int4)) triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The squirrel is big.
("squirrel" "is" "big" "+")
((triple10 ((((((triple2) -> (rule7 % int4)) triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4