The bald eagle is cold. The bald eagle is red. The bald eagle likes the dog. The bald eagle likes the squirrel. The bald eagle needs the dog. The bald eagle needs the squirrel. The bald eagle sees the dog. The bald eagle sees the squirrel. The dog is cold. The dog is kind. The dog is round. The dog likes the bald eagle. The dog needs the squirrel. The dog sees the bald eagle. The squirrel likes the bald eagle. The squirrel needs the dog. If something is red and it likes the bald eagle then it is cold. If something is red and it needs the bald eagle then the bald eagle needs the dog. If something needs the bald eagle then the bald eagle sees the dog. If the squirrel likes the dog then the squirrel is cold. If something needs the dog and the dog sees the squirrel then the squirrel is kind. If something is red and it needs the squirrel then it sees the squirrel. If something sees the bald eagle and the bald eagle is round then it likes the squirrel. If something likes the bald eagle and it sees the bald eagle then it sees the dog.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If something is red and it likes the bald eagle then it is cold.
((("something" "is" "red" "+") ("something" "likes" "bald eagle" "+")) -> ("something" "is" "cold" "+"))
If something is red and it needs the bald eagle then the bald eagle needs the dog.
((("something" "is" "red" "+") ("something" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "dog" "+"))
If something needs the bald eagle then the bald eagle sees the dog.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "sees" "dog" "+"))
If the squirrel likes the dog then the squirrel is cold.
((("squirrel" "likes" "dog" "+")) -> ("squirrel" "is" "cold" "+"))
If something needs the dog and the dog sees the squirrel then the squirrel is kind.
((("something" "needs" "dog" "+") ("dog" "sees" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
If something is red and it needs the squirrel then it sees the squirrel.
((("something" "is" "red" "+") ("something" "needs" "squirrel" "+")) -> ("something" "sees" "squirrel" "+"))
If something sees the bald eagle and the bald eagle is round then it likes the squirrel.
((("something" "sees" "bald eagle" "+") ("bald eagle" "is" "round" "+")) -> ("something" "likes" "squirrel" "+"))
If something likes the bald eagle and it sees the bald eagle then it sees the dog.
((("something" "likes" "bald eagle" "+") ("something" "sees" "bald eagle" "+")) -> ("something" "sees" "dog" "+"))
The bald eagle sees the dog.
True
1
proof
[(triple7)]
("bald eagle" "sees" "dog" "+")
triple7
The dog is not kind.
False
1
inv-proof
[(triple10)]
("dog" "is" "kind" "-")
triple10
The dog sees the dog.
True
3
proof
[(((triple12 triple14) -> rule8))]
("dog" "sees" "dog" "+")
((triple12 triple14) -> (rule8 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog does not see the dog.
False
3
inv-proof
[(((triple12 triple14) -> rule8))]
("dog" "sees" "dog" "-")
((triple12 triple14) -> (rule8 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The squirrel is not kind.
Unknown
inv-rconc
[@2: The squirrel is kind.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("squirrel" "is" "kind" "-")
The dog likes the squirrel.
Unknown
rconc
[@1: The dog likes the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "likes" "squirrel" "+")
The squirrel does not like the dog.
Unknown
inv-random
[@0: The squirrel likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "dog" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The bald eagle needs the dog.[(triple5)] The bald eagle needs the squirrel.[(triple6)] The bald eagle sees the dog.[(triple7)] The bald eagle sees the squirrel.[(triple8 OR ((triple2 triple6) -> rule6))] The dog is cold.[(triple9)] The dog is kind.[(triple10)] The dog is round.[(triple11)] The dog likes the bald eagle.[(triple12)] The dog needs the squirrel.[(triple13)] The dog sees the bald eagle.[(triple14)] The squirrel likes the bald eagle.[(triple15)] The squirrel needs the dog.[(triple16)] @1: The dog sees the dog.[(((triple12 triple14) -> rule8))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple4
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple5
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple6
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple7
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple8
((triple2 triple6) -> (rule6 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
triple9
The dog is kind.
("dog" "is" "kind" "+")
triple10
The dog is round.
("dog" "is" "round" "+")
triple11
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple12
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple13
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple14
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple15
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple16
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple12 triple14) -> (rule8 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1