The bald eagle is big. The bald eagle is young. The bald eagle needs the tiger. The dog is kind. The dog is not nice. The dog needs the tiger. The dog does not see the tiger. The squirrel is kind. The squirrel sees the bald eagle. The squirrel sees the tiger. The tiger is big. The tiger is cold. The tiger is nice. The tiger sees the dog. The tiger sees the squirrel. The tiger visits the dog. If the bald eagle sees the squirrel then the squirrel needs the dog. If the tiger visits the squirrel and the tiger is young then the squirrel does not see the dog. If something needs the squirrel then it sees the tiger. If the tiger is cold and the tiger is nice then the tiger needs the dog. If the squirrel needs the bald eagle and the bald eagle visits the tiger then the tiger sees the dog. If something is cold then it visits the bald eagle.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is not nice.
("dog" "is" "nice" "-")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The dog does not see the tiger.
("dog" "sees" "tiger" "-")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If the bald eagle sees the squirrel then the squirrel needs the dog.
((("bald eagle" "sees" "squirrel" "+")) -> ("squirrel" "needs" "dog" "+"))
If the tiger visits the squirrel and the tiger is young then the squirrel does not see the dog.
((("tiger" "visits" "squirrel" "+") ("tiger" "is" "young" "+")) -> ("squirrel" "sees" "dog" "-"))
If something needs the squirrel then it sees the tiger.
((("something" "needs" "squirrel" "+")) -> ("something" "sees" "tiger" "+"))
If the tiger is cold and the tiger is nice then the tiger needs the dog.
((("tiger" "is" "cold" "+") ("tiger" "is" "nice" "+")) -> ("tiger" "needs" "dog" "+"))
If the squirrel needs the bald eagle and the bald eagle visits the tiger then the tiger sees the dog.
((("squirrel" "needs" "bald eagle" "+") ("bald eagle" "visits" "tiger" "+")) -> ("tiger" "sees" "dog" "+"))
If something is cold then it visits the bald eagle.
((("something" "is" "cold" "+")) -> ("something" "visits" "bald eagle" "+"))
The squirrel sees the bald eagle.
True
1
proof
[(triple9)]
("squirrel" "sees" "bald eagle" "+")
triple9
The bald eagle is not young.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "young" "-")
triple2
The tiger visits the bald eagle.
True
2
proof
[(((triple12) -> rule6))]
("tiger" "visits" "bald eagle" "+")
((triple12) -> (rule6 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger does not visit the bald eagle.
False
2
inv-proof
[(((triple12) -> rule6))]
("tiger" "visits" "bald eagle" "-")
((triple12) -> (rule6 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger does not see the tiger.
Unknown
inv-rconc
[@1: The tiger sees the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "sees" "tiger" "-")
The bald eagle visits the bald eagle.
Unknown
rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The bald eagle needs the squirrel.
Unknown
random
[@0: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "squirrel" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the tiger.[(triple3)] The dog does not see the tiger.[(triple7)] The dog is kind.[(triple4)] The dog is not nice.[(triple5)] The dog needs the tiger.[(triple6)] The squirrel is kind.[(triple8)] The squirrel sees the bald eagle.[(triple9)] The squirrel sees the tiger.[(triple10)] The tiger is big.[(triple11)] The tiger is cold.[(triple12)] The tiger is nice.[(triple13)] The tiger sees the dog.[(triple14)] The tiger sees the squirrel.[(triple15)] The tiger visits the dog.[(triple16)] @1: The tiger needs the dog.[(((triple12 triple13) -> rule4))] The tiger visits the bald eagle.[(((triple12) -> rule6))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple3
The dog does not see the tiger.
("dog" "sees" "tiger" "-")
triple7
The dog is kind.
("dog" "is" "kind" "+")
triple4
The dog is not nice.
("dog" "is" "nice" "-")
triple5
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple6
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple8
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple9
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple11
The tiger is cold.
("tiger" "is" "cold" "+")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
triple13
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple14
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple15
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple16
The tiger needs the dog.
("tiger" "needs" "dog" "+")
((triple12 triple13) -> (rule4 % int1))
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
((triple12) -> (rule6 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1