The bald eagle chases the tiger. The bald eagle eats the squirrel. The bald eagle is rough. The bear eats the tiger. The squirrel eats the bald eagle. The squirrel is rough. The squirrel likes the tiger. The tiger chases the bald eagle. The tiger chases the bear. The tiger is cold. The tiger likes the bear. The tiger likes the squirrel. If something chases the tiger then it is nice. If something is kind then it likes the squirrel. If something is rough and it chases the squirrel then it is kind. If something is nice then it chases the bald eagle. If something chases the bald eagle then it chases the squirrel.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
If something chases the tiger then it is nice.
((("something" "chases" "tiger" "+")) -> ("something" "is" "nice" "+"))
If something is kind then it likes the squirrel.
((("something" "is" "kind" "+")) -> ("something" "likes" "squirrel" "+"))
If something is rough and it chases the squirrel then it is kind.
((("something" "is" "rough" "+") ("something" "chases" "squirrel" "+")) -> ("something" "is" "kind" "+"))
If something is nice then it chases the bald eagle.
((("something" "is" "nice" "+")) -> ("something" "chases" "bald eagle" "+"))
If something chases the bald eagle then it chases the squirrel.
((("something" "chases" "bald eagle" "+")) -> ("something" "chases" "squirrel" "+"))
The tiger is cold.
True
1
proof
[(triple10)]
("tiger" "is" "cold" "+")
triple10
The squirrel is not rough.
False
1
inv-proof
[(triple6)]
("squirrel" "is" "rough" "-")
triple6
The tiger chases the squirrel.
True
2
proof
[(((triple8) -> rule5))]
("tiger" "chases" "squirrel" "+")
((triple8) -> (rule5 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The bald eagle is not nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "is" "nice" "-")
((triple1) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle chases the bald eagle.
True
3
proof
[(((((triple1) -> rule1)) -> rule4))]
("bald eagle" "chases" "bald eagle" "+")
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle does not chase the bald eagle.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule4))]
("bald eagle" "chases" "bald eagle" "-")
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle chases the squirrel.
True
4
proof
[(((((((triple1) -> rule1)) -> rule4)) -> rule5))]
("bald eagle" "chases" "squirrel" "+")
((((((triple1) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle does not chase the squirrel.
False
4
inv-proof
[(((((((triple1) -> rule1)) -> rule4)) -> rule5))]
("bald eagle" "chases" "squirrel" "-")
((((((triple1) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle is kind.
True
6
proof
[(((triple3 ((((((triple1) -> rule1)) -> rule4)) -> rule5)) -> rule3))]
("bald eagle" "is" "kind" "+")
((triple3 ((((((triple1) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle is not kind.
False
6
inv-proof
[(((triple3 ((((((triple1) -> rule1)) -> rule4)) -> rule5)) -> rule3))]
("bald eagle" "is" "kind" "-")
((triple3 ((((((triple1) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle likes the squirrel.
True
7
proof
[(((((triple3 ((((((triple1) -> rule1)) -> rule4)) -> rule5)) -> rule3)) -> rule2))]
("bald eagle" "likes" "squirrel" "+")
((((triple3 ((((((triple1) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle does not like the squirrel.
False
7
inv-proof
[(((((triple3 ((((((triple1) -> rule1)) -> rule4)) -> rule5)) -> rule3)) -> rule2))]
("bald eagle" "likes" "squirrel" "-")
((((triple3 ((((((triple1) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The squirrel is not kind.
Unknown
inv-rconc
[@4: The squirrel is kind.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule4 <- rule1 <- FAIL)]]
("squirrel" "is" "kind" "-")
The bear chases the squirrel.
Unknown
rconc
[@3: The bear chases the squirrel.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule1 <- FAIL)]]
("bear" "chases" "squirrel" "+")
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "nice" "-")
The bear chases the bald eagle.
Unknown
rconc
[@2: The bear chases the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("bear" "chases" "bald eagle" "+")
The tiger is not nice.
Unknown
inv-rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "nice" "-")
The squirrel likes the squirrel.
Unknown
rconc
[@5: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule5 <- rule4 <- rule1 <- FAIL)]]
("squirrel" "likes" "squirrel" "+")
The bear does not like the tiger.
Unknown
inv-random
[@0: The bear likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "tiger" "-")
The squirrel eats the tiger.
Unknown
random
[@0: The squirrel eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "tiger" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The tiger likes the bald eagle.
Unknown
random
[@0: The tiger likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bald eagle" "+")
The bear does not like the bald eagle.
Unknown
inv-random
[@0: The bear likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bald eagle" "-")
The bald eagle likes the bear.
Unknown
random
[@0: The bald eagle likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bear" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is rough.[(triple3)] The bear eats the tiger.[(triple4)] The squirrel eats the bald eagle.[(triple5)] The squirrel is rough.[(triple6)] The squirrel likes the tiger.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger chases the bear.[(triple9)] The tiger is cold.[(triple10)] The tiger likes the bear.[(triple11)] The tiger likes the squirrel.[(triple12)] @1: The bald eagle is nice.[(((triple1) -> rule1))] The tiger chases the squirrel.[(((triple8) -> rule5))] @2: The bald eagle chases the bald eagle.[(((((triple1) -> rule1)) -> rule4))] @3: The bald eagle chases the squirrel.[(((((((triple1) -> rule1)) -> rule4)) -> rule5))] @4: The bald eagle is kind.[(((triple3 ((((((triple1) -> rule1)) -> rule4)) -> rule5)) -> rule3))] @5: The bald eagle likes the squirrel.[(((((triple3 ((((((triple1) -> rule1)) -> rule4)) -> rule5)) -> rule3)) -> rule2))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple4
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple5
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple6
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple7
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple8
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple9
The tiger is cold.
("tiger" "is" "cold" "+")
triple10
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple11
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple12
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple1) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
((triple8) -> (rule5 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
((((((triple1) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple3 ((((((triple1) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
((((triple3 ((((((triple1) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5