The bald eagle needs the rabbit. The bald eagle sees the dog. The dog is nice. The dog is not rough. The dog needs the squirrel. The dog visits the bald eagle. The rabbit needs the dog. The rabbit sees the dog. The rabbit visits the squirrel. The squirrel is green. The squirrel is nice. The squirrel does not need the bald eagle. The squirrel does not need the dog. The squirrel sees the dog. The squirrel sees the rabbit. The squirrel visits the rabbit. If someone sees the squirrel then they visit the dog. If someone visits the dog then the dog needs the rabbit. If someone needs the dog then the dog is cold. If someone needs the dog then the dog sees the squirrel. If someone sees the rabbit then the rabbit sees the dog. If the bald eagle is not blue then the bald eagle needs the squirrel.
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is not rough.
("dog" "is" "rough" "-")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone sees the squirrel then they visit the dog.
((("someone" "sees" "squirrel" "+")) -> ("someone" "visits" "dog" "+"))
If someone visits the dog then the dog needs the rabbit.
((("someone" "visits" "dog" "+")) -> ("dog" "needs" "rabbit" "+"))
If someone needs the dog then the dog is cold.
((("someone" "needs" "dog" "+")) -> ("dog" "is" "cold" "+"))
If someone needs the dog then the dog sees the squirrel.
((("someone" "needs" "dog" "+")) -> ("dog" "sees" "squirrel" "+"))
If someone sees the rabbit then the rabbit sees the dog.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "sees" "dog" "+"))
If the bald eagle is not blue then the bald eagle needs the squirrel.
((("bald eagle" "is" "blue" "~")) -> ("bald eagle" "needs" "squirrel" "+"))
The dog needs the squirrel.
True
1
proof
[(triple5)]
("dog" "needs" "squirrel" "+")
triple5
The bald eagle does not see the dog.
False
1
inv-proof
[(triple2)]
("bald eagle" "sees" "dog" "-")
triple2
The dog sees the squirrel.
True
2
proof
[(((triple7) -> rule4))]
("dog" "sees" "squirrel" "+")
((triple7) -> (rule4 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The dog does not see the squirrel.
False
2
inv-proof
[(((triple7) -> rule4))]
("dog" "sees" "squirrel" "-")
((triple7) -> (rule4 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The dog visits the dog.
True
3
proof
[(((((triple7) -> rule4)) -> rule1))]
("dog" "visits" "dog" "+")
((((triple7) -> (rule4 % int2))) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int2
The dog does not visit the dog.
False
3
inv-proof
[(((((triple7) -> rule4)) -> rule1))]
("dog" "visits" "dog" "-")
((((triple7) -> (rule4 % int2))) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int2
The dog needs the rabbit.
True
4
proof
[(((((((triple7) -> rule4)) -> rule1)) -> rule2))]
("dog" "needs" "rabbit" "+")
((((((triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int3
The dog does not need the rabbit.
False
4
inv-proof
[(((((((triple7) -> rule4)) -> rule1)) -> rule2))]
("dog" "needs" "rabbit" "-")
((((((triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int3
The rabbit does not visit the dog.
Unknown
inv-rconc
[@1: The rabbit visits the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "visits" "dog" "-")
The squirrel visits the dog.
Unknown
rconc
[@1: The squirrel visits the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "visits" "dog" "+")
The bald eagle does not visit the dog.
Unknown
inv-rconc
[@1: The bald eagle visits the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "dog" "-")
The bald eagle needs the squirrel.
Unknown
rconc
[@1: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "needs" "squirrel" "+")
The dog does not see the rabbit.
Unknown
inv-random
[@0: The dog sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "rabbit" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
The dog does not need the bald eagle.
Unknown
inv-random
[@0: The dog needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bald eagle" "-")
The bald eagle visits the rabbit.
Unknown
random
[@0: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "rabbit" "+")
@0: The bald eagle needs the rabbit.[(triple1)] The bald eagle sees the dog.[(triple2)] The dog is nice.[(triple3)] The dog is not rough.[(triple4)] The dog needs the squirrel.[(triple5)] The dog visits the bald eagle.[(triple6)] The rabbit needs the dog.[(triple7)] The rabbit sees the dog.[(triple8 OR ((triple15) -> rule5))] The rabbit visits the squirrel.[(triple9)] The squirrel does not need the bald eagle.[(triple12)] The squirrel does not need the dog.[(triple13)] The squirrel is green.[(triple10)] The squirrel is nice.[(triple11)] The squirrel sees the dog.[(triple14)] The squirrel sees the rabbit.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The dog is cold.[(((triple7) -> rule3))] The dog sees the squirrel.[(((triple7) -> rule4))] @2: The dog visits the dog.[(((((triple7) -> rule4)) -> rule1))] @3: The dog needs the rabbit.[(((((((triple7) -> rule4)) -> rule1)) -> rule2))]
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple2
The dog is nice.
("dog" "is" "nice" "+")
triple3
The dog is not rough.
("dog" "is" "rough" "-")
triple4
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple5
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple6
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple7
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple8
((triple15) -> (rule5 % int1))
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
int1
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple9
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
triple12
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
triple13
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple14
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple15
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple16
The dog is cold.
("dog" "is" "cold" "+")
((triple7) -> (rule3 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
((triple7) -> (rule4 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
((((triple7) -> (rule4 % int2))) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int2
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
((((((triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int3