The bald eagle eats the dog. The bald eagle is blue. The bald eagle is nice. The bald eagle is young. The bald eagle sees the dog. The bald eagle sees the squirrel. The dog is nice. The dog is round. The lion is cold. The squirrel chases the bald eagle. The squirrel does not eat the bald eagle. The squirrel sees the dog. If something is nice then it sees the lion. If the squirrel does not see the bald eagle then the bald eagle is round. If something sees the lion then it sees the dog. If something sees the dog then it chases the dog. If something chases the dog then the dog does not see the squirrel. If the dog sees the lion then the lion is nice. If something eats the dog and it is not cold then the dog does not chase the squirrel. If something eats the bald eagle then it is round.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is round.
("dog" "is" "round" "+")
The lion is cold.
("lion" "is" "cold" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If something is nice then it sees the lion.
((("something" "is" "nice" "+")) -> ("something" "sees" "lion" "+"))
If the squirrel does not see the bald eagle then the bald eagle is round.
((("squirrel" "sees" "bald eagle" "~")) -> ("bald eagle" "is" "round" "+"))
If something sees the lion then it sees the dog.
((("something" "sees" "lion" "+")) -> ("something" "sees" "dog" "+"))
If something sees the dog then it chases the dog.
((("something" "sees" "dog" "+")) -> ("something" "chases" "dog" "+"))
If something chases the dog then the dog does not see the squirrel.
((("something" "chases" "dog" "+")) -> ("dog" "sees" "squirrel" "-"))
If the dog sees the lion then the lion is nice.
((("dog" "sees" "lion" "+")) -> ("lion" "is" "nice" "+"))
If something eats the dog and it is not cold then the dog does not chase the squirrel.
((("something" "eats" "dog" "+") ("something" "is" "cold" "~")) -> ("dog" "chases" "squirrel" "-"))
If something eats the bald eagle then it is round.
((("something" "eats" "bald eagle" "+")) -> ("something" "is" "round" "+"))
The lion is cold.
True
1
proof
[(triple9)]
("lion" "is" "cold" "+")
triple9
The bald eagle is not young.
False
1
inv-proof
[(triple4)]
("bald eagle" "is" "young" "-")
triple4
The bald eagle chases the dog.
True
2
proof
[(((triple5) -> rule4) OR ((((((triple3) -> rule1)) -> rule3)) -> rule4))]
("bald eagle" "chases" "dog" "+")
((triple5) -> (rule4 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int3
The squirrel does not chase the dog.
False
2
inv-proof
[(((triple12) -> rule4))]
("squirrel" "chases" "dog" "-")
((triple12) -> (rule4 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The lion is nice.
True
3
proof
[(((((triple7) -> rule1)) -> rule6))]
("lion" "is" "nice" "+")
((((triple7) -> (rule1 % int2))) -> (rule6 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The dog sees the lion.
("dog" "sees" "lion" "+")
int2
The lion is not nice.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule6))]
("lion" "is" "nice" "-")
((((triple7) -> (rule1 % int2))) -> (rule6 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The dog sees the lion.
("dog" "sees" "lion" "+")
int2
The dog chases the dog.
True
4
proof
[(((((((triple7) -> rule1)) -> rule3)) -> rule4))]
("dog" "chases" "dog" "+")
((((((triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The dog sees the lion.
("dog" "sees" "lion" "+")
int3
The dog does not chase the dog.
False
4
inv-proof
[(((((((triple7) -> rule1)) -> rule3)) -> rule4))]
("dog" "chases" "dog" "-")
((((((triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The dog sees the lion.
("dog" "sees" "lion" "+")
int3
The lion sees the dog.
True
5
proof
[(((((((((triple7) -> rule1)) -> rule6)) -> rule1)) -> rule3))]
("lion" "sees" "dog" "+")
((((((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3
The dog sees the lion.
("dog" "sees" "lion" "+")
int4
The lion does not see the dog.
False
5
inv-proof
[(((((((((triple7) -> rule1)) -> rule6)) -> rule1)) -> rule3))]
("lion" "sees" "dog" "-")
((((((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3
The dog sees the lion.
("dog" "sees" "lion" "+")
int4
The lion chases the dog.
True
6
proof
[(((((((((((triple7) -> rule1)) -> rule6)) -> rule1)) -> rule3)) -> rule4))]
("lion" "chases" "dog" "+")
((((((((((triple7) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The lion chases the dog.
("lion" "chases" "dog" "+")
int1
The lion sees the dog.
("lion" "sees" "dog" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion is nice.
("lion" "is" "nice" "+")
int4
The dog sees the lion.
("dog" "sees" "lion" "+")
int5
The lion does not chase the dog.
False
6
inv-proof
[(((((((((((triple7) -> rule1)) -> rule6)) -> rule1)) -> rule3)) -> rule4))]
("lion" "chases" "dog" "-")
((((((((((triple7) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The lion chases the dog.
("lion" "chases" "dog" "+")
int1
The lion sees the dog.
("lion" "sees" "dog" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion is nice.
("lion" "is" "nice" "+")
int4
The dog sees the lion.
("dog" "sees" "lion" "+")
int5
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "round" "-")
The squirrel is round.
Unknown
rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "is" "round" "+")
The lion is not round.
Unknown
inv-rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "is" "round" "-")
The squirrel sees the lion.
Unknown
rconc
[@1: The squirrel sees the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "sees" "lion" "+")
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The bald eagle chases the squirrel.
Unknown
random
[@0: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "squirrel" "+")
The dog does not chase the squirrel.
Unknown
inv-random
[@0: The dog chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "squirrel" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The dog sees the bald eagle.
Unknown
random
[@0: The dog sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bald eagle" "+")
The dog does not eat the bald eagle.
Unknown
inv-random
[@0: The dog eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bald eagle" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle sees the dog.[(triple5 OR ((((triple3) -> rule1)) -> rule3))] The bald eagle sees the squirrel.[(triple6)] The dog is nice.[(triple7)] The dog is round.[(triple8)] The lion is cold.[(triple9)] The squirrel chases the bald eagle.[(triple10)] The squirrel does not eat the bald eagle.[(triple11)] The squirrel sees the dog.[(triple12)] @1: The bald eagle chases the dog.[(((triple5) -> rule4) OR ((((((triple3) -> rule1)) -> rule3)) -> rule4))] The bald eagle sees the lion.[(((triple3) -> rule1))] The dog sees the lion.[(((triple7) -> rule1))] The squirrel chases the dog.[(((triple12) -> rule4))] @2: The dog does not see the squirrel.[(((((triple12) -> rule4)) -> rule5) OR ((((triple5) -> rule4)) -> rule5) OR ((((((((triple3) -> rule1)) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple7) -> rule1)) -> rule3)) -> rule4)) -> rule5) OR ((((((((((((triple7) -> rule1)) -> rule6)) -> rule1)) -> rule3)) -> rule4)) -> rule5))] The dog sees the dog.[(((((triple7) -> rule1)) -> rule3))] The lion is nice.[(((((triple7) -> rule1)) -> rule6))] @3: The dog chases the dog.[(((((((triple7) -> rule1)) -> rule3)) -> rule4))] The lion sees the lion.[(((((((triple7) -> rule1)) -> rule6)) -> rule1))] @4: The lion sees the dog.[(((((((((triple7) -> rule1)) -> rule6)) -> rule1)) -> rule3))] @5: The lion chases the dog.[(((((((((((triple7) -> rule1)) -> rule6)) -> rule1)) -> rule3)) -> rule4))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple5
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog is round.
("dog" "is" "round" "+")
triple8
The lion is cold.
("lion" "is" "cold" "+")
triple9
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple10
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
triple11
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple12
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
((triple5) -> (rule4 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
((triple3) -> (rule1 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The dog sees the lion.
("dog" "sees" "lion" "+")
((triple7) -> (rule1 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((triple12) -> (rule4 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
((((triple12) -> (rule4 % int2))) -> (rule5 % int1))
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
int1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int2
((((((((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
int1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int2
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int4
((((((((triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog sees the dog.
("dog" "sees" "dog" "+")
int3
The dog sees the lion.
("dog" "sees" "lion" "+")
int4
((((((((((((triple7) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
int1
The lion chases the dog.
("lion" "chases" "dog" "+")
int2
The lion sees the dog.
("lion" "sees" "dog" "+")
int3
The lion sees the lion.
("lion" "sees" "lion" "+")
int4
The lion is nice.
("lion" "is" "nice" "+")
int5
The dog sees the lion.
("dog" "sees" "lion" "+")
int6
The dog sees the dog.
("dog" "sees" "dog" "+")
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog sees the lion.
("dog" "sees" "lion" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
((((triple7) -> (rule1 % int2))) -> (rule6 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The dog sees the lion.
("dog" "sees" "lion" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
((((((triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The dog sees the lion.
("dog" "sees" "lion" "+")
int3
The lion sees the lion.
("lion" "sees" "lion" "+")
((((((triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The dog sees the lion.
("dog" "sees" "lion" "+")
int3
The lion sees the dog.
("lion" "sees" "dog" "+")
((((((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3
The dog sees the lion.
("dog" "sees" "lion" "+")
int4
The lion chases the dog.
("lion" "chases" "dog" "+")
((((((((((triple7) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The lion chases the dog.
("lion" "chases" "dog" "+")
int1
The lion sees the dog.
("lion" "sees" "dog" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion is nice.
("lion" "is" "nice" "+")
int4
The dog sees the lion.
("dog" "sees" "lion" "+")
int5