The bald eagle is big. The bald eagle is not cold. The bald eagle needs the dog. The bald eagle sees the dog. The bald eagle sees the squirrel. The bald eagle does not visit the dog. The dog is big. The dog is green. The dog is nice. The dog needs the bald eagle. The dog needs the squirrel. The dog sees the bald eagle. The dog visits the bald eagle. The squirrel is green. The squirrel sees the bald eagle. The squirrel does not visit the bald eagle. If something is big then it is green. If the squirrel visits the dog then the dog is big. If something sees the bald eagle and it is not nice then the bald eagle needs the squirrel. If something sees the dog then it is young. If something visits the squirrel and the squirrel is cold then the squirrel sees the bald eagle. If something needs the bald eagle and it is not big then it visits the squirrel. If something visits the dog then it sees the dog. If something sees the bald eagle and the bald eagle is young then it sees the dog.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
If something is big then it is green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If the squirrel visits the dog then the dog is big.
((("squirrel" "visits" "dog" "+")) -> ("dog" "is" "big" "+"))
If something sees the bald eagle and it is not nice then the bald eagle needs the squirrel.
((("something" "sees" "bald eagle" "+") ("something" "is" "nice" "~")) -> ("bald eagle" "needs" "squirrel" "+"))
If something sees the dog then it is young.
((("something" "sees" "dog" "+")) -> ("something" "is" "young" "+"))
If something visits the squirrel and the squirrel is cold then the squirrel sees the bald eagle.
((("something" "visits" "squirrel" "+") ("squirrel" "is" "cold" "+")) -> ("squirrel" "sees" "bald eagle" "+"))
If something needs the bald eagle and it is not big then it visits the squirrel.
((("something" "needs" "bald eagle" "+") ("something" "is" "big" "~")) -> ("something" "visits" "squirrel" "+"))
If something visits the dog then it sees the dog.
((("something" "visits" "dog" "+")) -> ("something" "sees" "dog" "+"))
If something sees the bald eagle and the bald eagle is young then it sees the dog.
((("something" "sees" "bald eagle" "+") ("bald eagle" "is" "young" "+")) -> ("something" "sees" "dog" "+"))
The bald eagle needs the dog.
True
1
proof
[(triple3)]
("bald eagle" "needs" "dog" "+")
triple3
The bald eagle is cold.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is young.
True
2
proof
[(((triple4) -> rule4))]
("bald eagle" "is" "young" "+")
((triple4) -> (rule4 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle is not young.
False
2
inv-proof
[(((triple4) -> rule4))]
("bald eagle" "is" "young" "-")
((triple4) -> (rule4 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The dog sees the dog.
True
4
proof
[(((triple12 ((triple4) -> rule4)) -> rule8))]
("dog" "sees" "dog" "+")
((triple12 ((triple4) -> (rule4 % int2))) -> (rule8 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The dog does not see the dog.
False
4
inv-proof
[(((triple12 ((triple4) -> rule4)) -> rule8))]
("dog" "sees" "dog" "-")
((triple12 ((triple4) -> (rule4 % int2))) -> (rule8 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The squirrel is young.
True
5
proof
[(((((triple15 ((triple4) -> rule4)) -> rule8)) -> rule4))]
("squirrel" "is" "young" "+")
((((triple15 ((triple4) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3
The dog is not young.
False
5
inv-proof
[(((((triple12 ((triple4) -> rule4)) -> rule8)) -> rule4))]
("dog" "is" "young" "-")
((((triple12 ((triple4) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3
The dog does not visit the squirrel.
Unknown
inv-rconc
[@1: The dog visits the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "visits" "squirrel" "-")
The bald eagle needs the squirrel.
Unknown
rconc
[@1: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "needs" "squirrel" "+")
The squirrel does not visit the squirrel.
Unknown
inv-rconc
[@1: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "visits" "squirrel" "-")
The bald eagle visits the squirrel.
Unknown
rconc
[@1: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "visits" "squirrel" "+")
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
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" "+")
The squirrel does not need the dog.
Unknown
inv-random
[@0: The squirrel needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "dog" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
@0: The bald eagle does not visit the dog.[(triple6)] The bald eagle is big.[(triple1)] The bald eagle is not cold.[(triple2)] The bald eagle needs the dog.[(triple3)] The bald eagle sees the dog.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The dog is big.[(triple7)] The dog is green.[(triple8 OR ((triple7) -> rule1))] The dog is nice.[(triple9)] The dog needs the bald eagle.[(triple10)] The dog needs the squirrel.[(triple11)] The dog sees the bald eagle.[(triple12)] The dog visits the bald eagle.[(triple13)] The squirrel does not visit the bald eagle.[(triple16)] The squirrel is green.[(triple14)] The squirrel sees the bald eagle.[(triple15)] @1: The bald eagle is green.[(((triple1) -> rule1))] The bald eagle is young.[(((triple4) -> rule4))] @2: The dog sees the dog.[(((triple12 ((triple4) -> rule4)) -> rule8))] The squirrel sees the dog.[(((triple15 ((triple4) -> rule4)) -> rule8))] @3: The dog is young.[(((((triple12 ((triple4) -> rule4)) -> rule8)) -> rule4))] The squirrel is young.[(((((triple15 ((triple4) -> rule4)) -> rule8)) -> rule4))]
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
triple6
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple4
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple5
The dog is big.
("dog" "is" "big" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
((triple7) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple10
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple11
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple12
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple13
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
triple16
The squirrel is green.
("squirrel" "is" "green" "+")
triple14
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple15
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple1) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple4) -> (rule4 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple12 ((triple4) -> (rule4 % int2))) -> (rule8 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
((triple15 ((triple4) -> (rule4 % int2))) -> (rule8 % int1))
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The dog is young.
("dog" "is" "young" "+")
((((triple12 ((triple4) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
((((triple15 ((triple4) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3