The bald eagle eats the dog. The bald eagle eats the squirrel. The bald eagle is round. The bald eagle sees the squirrel. The dog eats the bald eagle. The dog needs the bald eagle. The dog needs the squirrel. The dog sees the bald eagle. The squirrel eats the bald eagle. The squirrel is round. The squirrel needs the dog. The squirrel sees the dog. If the squirrel sees the dog then the squirrel eats the dog. If someone eats the squirrel and the squirrel sees the bald eagle then the bald eagle sees the dog. If someone eats the dog and they see the dog then they are cold.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
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 squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If the squirrel sees the dog then the squirrel eats the dog.
((("squirrel" "sees" "dog" "+")) -> ("squirrel" "eats" "dog" "+"))
If someone eats the squirrel and the squirrel sees the bald eagle then the bald eagle sees the dog.
((("someone" "eats" "squirrel" "+") ("squirrel" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "dog" "+"))
If someone eats the dog and they see the dog then they are cold.
((("someone" "eats" "dog" "+") ("someone" "sees" "dog" "+")) -> ("someone" "is" "cold" "+"))
The dog needs the squirrel.
True
1
proof
[(triple7)]
("dog" "needs" "squirrel" "+")
triple7
The squirrel does not need the dog.
False
1
inv-proof
[(triple11)]
("squirrel" "needs" "dog" "-")
triple11
The squirrel eats the dog.
True
2
proof
[(((triple12) -> rule1))]
("squirrel" "eats" "dog" "+")
((triple12) -> (rule1 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel does not eat the dog.
False
2
inv-proof
[(((triple12) -> rule1))]
("squirrel" "eats" "dog" "-")
((triple12) -> (rule1 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is cold.
True
4
proof
[(((((triple12) -> rule1) triple12) -> rule3))]
("squirrel" "is" "cold" "+")
((((triple12) -> (rule1 % int2)) triple12) -> (rule3 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The squirrel is not cold.
False
4
inv-proof
[(((((triple12) -> rule1) triple12) -> rule3))]
("squirrel" "is" "cold" "-")
((((triple12) -> (rule1 % int2)) triple12) -> (rule3 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The bald eagle is not cold.
Unknown
inv-rconc
[@2: The bald eagle is cold.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The dog is cold.
Unknown
rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "cold" "+")
The bald eagle does not see the dog.
Unknown
inv-rconc
[@1: The bald eagle sees the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "sees" "dog" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
The squirrel is not rough.
Unknown
inv-random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "-")
The dog sees the squirrel.
Unknown
random
[@0: The dog sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "squirrel" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The dog eats the bald eagle.[(triple5)] The dog needs the bald eagle.[(triple6)] The dog needs the squirrel.[(triple7)] The dog sees the bald eagle.[(triple8)] The squirrel eats the bald eagle.[(triple9)] The squirrel is round.[(triple10)] The squirrel needs the dog.[(triple11)] The squirrel sees the dog.[(triple12)] @1: The squirrel eats the dog.[(((triple12) -> rule1))] @2: The squirrel is cold.[(((((triple12) -> rule1) triple12) -> rule3))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple4
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple5
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple6
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple7
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple8
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple11
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple12
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
((triple12) -> (rule1 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((((triple12) -> (rule1 % int2)) triple12) -> (rule3 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2