The bald eagle chases the dog. The bald eagle is blue. The bald eagle is green. The bald eagle is nice. The bald eagle is round. The bald eagle is young. The bald eagle needs the dog. The bald eagle visits the dog. The dog chases the bald eagle. The dog is young. The dog needs the bald eagle. The dog visits the bald eagle. If something needs the dog and it is nice then it needs the bald eagle. Young, green things are blue.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
If something needs the dog and it is nice then it needs the bald eagle.
((("something" "needs" "dog" "+") ("something" "is" "nice" "+")) -> ("something" "needs" "bald eagle" "+"))
Young, green things are blue.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
The bald eagle is blue.
True
1
proof
[(triple2 OR ((triple6 triple3) -> rule2))]
("bald eagle" "is" "blue" "+")
triple2
((triple6 triple3) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle does not need the dog.
False
1
inv-proof
[(triple7)]
("bald eagle" "needs" "dog" "-")
triple7
The bald eagle needs the bald eagle.
True
3
proof
[(((triple7 triple4) -> rule1))]
("bald eagle" "needs" "bald eagle" "+")
((triple7 triple4) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle does not need the bald eagle.
False
3
inv-proof
[(((triple7 triple4) -> rule1))]
("bald eagle" "needs" "bald eagle" "-")
((triple7 triple4) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The dog is not blue.
Unknown
inv-rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "blue" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is blue.[(triple2 OR ((triple6 triple3) -> rule2))] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle needs the dog.[(triple7)] The bald eagle visits the dog.[(triple8)] The dog chases the bald eagle.[(triple9)] The dog is young.[(triple10)] The dog needs the bald eagle.[(triple11)] The dog visits the bald eagle.[(triple12)] @1: The bald eagle needs the bald eagle.[(((triple7 triple4) -> rule1))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
((triple6 triple3) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple5
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple6
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple7
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple8
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple9
The dog is young.
("dog" "is" "young" "+")
triple10
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple11
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple12
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((triple7 triple4) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1