The bald eagle does not eat the dog. The bald eagle does not eat the squirrel. The bald eagle is not blue. The bald eagle visits the dog. The bear eats the squirrel. The bear needs the bald eagle. The bear needs the squirrel. The bear visits the bald eagle. The bear does not visit the dog. The dog eats the bald eagle. The dog is blue. The dog visits the bear. The dog visits the squirrel. The squirrel is nice. The squirrel needs the bald eagle. The squirrel visits the bald eagle. If someone eats the squirrel and they do not need the squirrel then they are not red. If someone is nice then they are red. If someone needs the squirrel and they do not visit the squirrel then they visit the bear. If someone needs the bear then they visit the bear. If someone eats the bear then the bear is kind. If someone needs the squirrel and the squirrel does not need the bear then they visit the bald eagle. Blue people are nice. If someone is blue then they eat the bald eagle.
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
The bald eagle does not eat the squirrel.
("bald eagle" "eats" "squirrel" "-")
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear does not visit the dog.
("bear" "visits" "dog" "-")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If someone eats the squirrel and they do not need the squirrel then they are not red.
((("someone" "eats" "squirrel" "+") ("someone" "needs" "squirrel" "~")) -> ("someone" "is" "red" "-"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone needs the squirrel and they do not visit the squirrel then they visit the bear.
((("someone" "needs" "squirrel" "+") ("someone" "visits" "squirrel" "~")) -> ("someone" "visits" "bear" "+"))
If someone needs the bear then they visit the bear.
((("someone" "needs" "bear" "+")) -> ("someone" "visits" "bear" "+"))
If someone eats the bear then the bear is kind.
((("someone" "eats" "bear" "+")) -> ("bear" "is" "kind" "+"))
If someone needs the squirrel and the squirrel does not need the bear then they visit the bald eagle.
((("someone" "needs" "squirrel" "+") ("squirrel" "needs" "bear" "~")) -> ("someone" "visits" "bald eagle" "+"))
Blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue then they eat the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "bald eagle" "+"))
The bear eats the squirrel.
True
1
proof
[(triple5)]
("bear" "eats" "squirrel" "+")
triple5
The bear does not need the squirrel.
False
1
inv-proof
[(triple7)]
("bear" "needs" "squirrel" "-")
triple7
The squirrel is red.
True
2
proof
[(((triple14) -> rule2))]
("squirrel" "is" "red" "+")
((triple14) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is not red.
False
2
inv-proof
[(((triple14) -> rule2))]
("squirrel" "is" "red" "-")
((triple14) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The dog is red.
True
3
proof
[(((((triple11) -> rule7)) -> rule2))]
("dog" "is" "red" "+")
((((triple11) -> (rule7 % int2))) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog is not red.
False
3
inv-proof
[(((((triple11) -> rule7)) -> rule2))]
("dog" "is" "red" "-")
((((triple11) -> (rule7 % int2))) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle is red.
Unknown
rconc
[@2: The bald eagle is red.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("bald eagle" "is" "red" "+")
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "is" "nice" "-")
The bald eagle needs the dog.
Unknown
random
[@0: The bald eagle needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "dog" "+")
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
@0: The bald eagle does not eat the dog.[(triple1)] The bald eagle does not eat the squirrel.[(triple2)] The bald eagle is not blue.[(triple3)] The bald eagle visits the dog.[(triple4)] The bear does not visit the dog.[(triple9)] The bear eats the squirrel.[(triple5)] The bear needs the bald eagle.[(triple6)] The bear needs the squirrel.[(triple7)] The bear visits the bald eagle.[(triple8)] The dog eats the bald eagle.[(triple10 OR ((triple11) -> rule8))] The dog is blue.[(triple11)] The dog visits the bear.[(triple12)] The dog visits the squirrel.[(triple13)] The squirrel is nice.[(triple14)] The squirrel needs the bald eagle.[(triple15)] The squirrel visits the bald eagle.[(triple16)] @1: The dog is nice.[(((triple11) -> rule7))] The squirrel is red.[(((triple14) -> rule2))] @2: The dog is red.[(((((triple11) -> rule7)) -> rule2))]
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
triple1
The bald eagle does not eat the squirrel.
("bald eagle" "eats" "squirrel" "-")
triple2
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple3
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple4
The bear does not visit the dog.
("bear" "visits" "dog" "-")
triple9
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple5
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple6
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple7
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple8
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple10
((triple11) -> (rule8 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
triple11
The dog visits the bear.
("dog" "visits" "bear" "+")
triple12
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple13
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple14
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple15
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple16
The dog is nice.
("dog" "is" "nice" "+")
((triple11) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple14) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The dog is red.
("dog" "is" "red" "+")
((((triple11) -> (rule7 % int2))) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2