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