The bald eagle eats the dog. The bald eagle is nice. The bald eagle is young. The bald eagle sees the dog. The bald eagle sees the squirrel. The bald eagle visits the dog. The dog sees the squirrel. The dog visits the bald eagle. The squirrel eats the bald eagle. The squirrel eats the dog. The squirrel is green. The squirrel is young. The squirrel sees the bald eagle. The squirrel sees the dog. The squirrel visits the bald eagle. The squirrel visits the dog. If someone sees the squirrel then the squirrel is round. If someone visits the dog and the dog is young then they visit the squirrel.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If someone sees the squirrel then the squirrel is round.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
If someone visits the dog and the dog is young then they visit the squirrel.
((("someone" "visits" "dog" "+") ("dog" "is" "young" "+")) -> ("someone" "visits" "squirrel" "+"))
The bald eagle is nice.
True
1
proof
[(triple2)]
("bald eagle" "is" "nice" "+")
triple2
The squirrel does not see the bald eagle.
False
1
inv-proof
[(triple13)]
("squirrel" "sees" "bald eagle" "-")
triple13
The squirrel is round.
True
2
proof
[(((triple5) -> rule1) OR ((triple7) -> rule1))]
("squirrel" "is" "round" "+")
((triple5) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
((triple7) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is not round.
False
2
inv-proof
[(((triple5) -> rule1) OR ((triple7) -> rule1))]
("squirrel" "is" "round" "-")
((triple5) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
((triple7) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The dog does not visit the squirrel.
Unknown
inv-rconc
[@1: The dog visits the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "visits" "squirrel" "-")
The bald eagle visits the squirrel.
Unknown
rconc
[@1: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "squirrel" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle sees the dog.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The bald eagle visits the dog.[(triple6)] The dog sees the squirrel.[(triple7)] The dog visits the bald eagle.[(triple8)] The squirrel eats the bald eagle.[(triple9)] The squirrel eats the dog.[(triple10)] The squirrel is green.[(triple11)] The squirrel is young.[(triple12)] The squirrel sees the bald eagle.[(triple13)] The squirrel sees the dog.[(triple14)] The squirrel visits the bald eagle.[(triple15)] The squirrel visits the dog.[(triple16)] @1: The squirrel is round.[(((triple5) -> rule1) OR ((triple7) -> rule1))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple4
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple5
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple6
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple7
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple8
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple9
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple10
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel is young.
("squirrel" "is" "young" "+")
triple12
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple13
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple14
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple15
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple16
The squirrel is round.
("squirrel" "is" "round" "+")
((triple5) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
((triple7) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1