The bald eagle likes the squirrel. The bald eagle likes the tiger. The bald eagle visits the tiger. The bear likes the squirrel. The bear needs the tiger. The squirrel is nice. The squirrel is young. The squirrel likes the tiger. The tiger is young. The tiger likes the bald eagle. The tiger likes the squirrel. The tiger visits the bear. If the bear likes the squirrel and the bear likes the tiger then the tiger is nice. If something likes the bear and it likes the squirrel then it is red. If something needs the tiger then it likes the bear. If something is red then it is blue. If something is blue then it likes the bald eagle. If the tiger is red then the tiger needs the bear. If something likes the bald eagle and the bald eagle likes the tiger then it visits the bear. If something likes the bear then it is nice.
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If the bear likes the squirrel and the bear likes the tiger then the tiger is nice.
((("bear" "likes" "squirrel" "+") ("bear" "likes" "tiger" "+")) -> ("tiger" "is" "nice" "+"))
If something likes the bear and it likes the squirrel then it is red.
((("something" "likes" "bear" "+") ("something" "likes" "squirrel" "+")) -> ("something" "is" "red" "+"))
If something needs the tiger then it likes the bear.
((("something" "needs" "tiger" "+")) -> ("something" "likes" "bear" "+"))
If something is red then it is blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
If something is blue then it likes the bald eagle.
((("something" "is" "blue" "+")) -> ("something" "likes" "bald eagle" "+"))
If the tiger is red then the tiger needs the bear.
((("tiger" "is" "red" "+")) -> ("tiger" "needs" "bear" "+"))
If something likes the bald eagle and the bald eagle likes the tiger then it visits the bear.
((("something" "likes" "bald eagle" "+") ("bald eagle" "likes" "tiger" "+")) -> ("something" "visits" "bear" "+"))
If something likes the bear then it is nice.
((("something" "likes" "bear" "+")) -> ("something" "is" "nice" "+"))
The bald eagle likes the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "likes" "squirrel" "+")
triple1
The tiger does not like the squirrel.
False
1
inv-proof
[(triple11)]
("tiger" "likes" "squirrel" "-")
triple11
The bear likes the bear.
True
2
proof
[(((triple5) -> rule3))]
("bear" "likes" "bear" "+")
((triple5) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear does not like the bear.
False
2
inv-proof
[(((triple5) -> rule3))]
("bear" "likes" "bear" "-")
((triple5) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is red.
True
4
proof
[(((((triple5) -> rule3) triple4) -> rule2))]
("bear" "is" "red" "+")
((((triple5) -> (rule3 % int2)) triple4) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear is not nice.
False
3
inv-proof
[(((((triple5) -> rule3)) -> rule8))]
("bear" "is" "nice" "-")
((((triple5) -> (rule3 % int2))) -> (rule8 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear is blue.
True
5
proof
[(((((((triple5) -> rule3) triple4) -> rule2)) -> rule4))]
("bear" "is" "blue" "+")
((((((triple5) -> (rule3 % int3)) triple4) -> (rule2 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear likes the bear.
("bear" "likes" "bear" "+")
int3
The bear is not blue.
False
5
inv-proof
[(((((((triple5) -> rule3) triple4) -> rule2)) -> rule4))]
("bear" "is" "blue" "-")
((((((triple5) -> (rule3 % int3)) triple4) -> (rule2 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear likes the bear.
("bear" "likes" "bear" "+")
int3
The bear likes the bald eagle.
True
6
proof
[(((((((((triple5) -> rule3) triple4) -> rule2)) -> rule4)) -> rule5))]
("bear" "likes" "bald eagle" "+")
((((((((triple5) -> (rule3 % int4)) triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear likes the bear.
("bear" "likes" "bear" "+")
int4
The bear does not like the bald eagle.
False
6
inv-proof
[(((((((((triple5) -> rule3) triple4) -> rule2)) -> rule4)) -> rule5))]
("bear" "likes" "bald eagle" "-")
((((((((triple5) -> (rule3 % int4)) triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear likes the bear.
("bear" "likes" "bear" "+")
int4
The bear visits the bear.
True
8
proof
[(((((((((((triple5) -> rule3) triple4) -> rule2)) -> rule4)) -> rule5) triple2) -> rule7))]
("bear" "visits" "bear" "+")
((((((((((triple5) -> (rule3 % int5)) triple4) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple2) -> (rule7 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear is red.
("bear" "is" "red" "+")
int4
The bear likes the bear.
("bear" "likes" "bear" "+")
int5
The bear does not visit the bear.
False
8
inv-proof
[(((((((((((triple5) -> rule3) triple4) -> rule2)) -> rule4)) -> rule5) triple2) -> rule7))]
("bear" "visits" "bear" "-")
((((((((((triple5) -> (rule3 % int5)) triple4) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple2) -> (rule7 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear is red.
("bear" "is" "red" "+")
int4
The bear likes the bear.
("bear" "likes" "bear" "+")
int5
The squirrel does not like the bald eagle.
Unknown
inv-rconc
[@3: The squirrel likes the bald eagle.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule2 <- FAIL)]]
("squirrel" "likes" "bald eagle" "-")
The squirrel likes the bear.
Unknown
rconc
[@1: The squirrel likes the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "likes" "bear" "+")
The tiger is not nice.
Unknown
inv-rconc
[@2: The tiger is nice.[CWA. Example of deepest failure = (rule8 <- rule3 <- FAIL)]]
("tiger" "is" "nice" "-")
The bald eagle likes the bald eagle.
Unknown
rconc
[@4: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule2 <- rule3 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The squirrel is not red.
Unknown
inv-rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "red" "-")
The squirrel visits the bear.
Unknown
rconc
[@4: The squirrel visits the bear.[CWA. Example of deepest failure = (rule7 <- rule5 <- rule4 <- rule2 <- FAIL)]]
("squirrel" "visits" "bear" "+")
The bald eagle does not need the tiger.
Unknown
inv-random
[@0: The bald eagle needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "tiger" "-")
The tiger needs the squirrel.
Unknown
random
[@0: The tiger needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "squirrel" "+")
The tiger does not visit the squirrel.
Unknown
inv-random
[@0: The tiger visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "squirrel" "-")
The tiger visits the bald eagle.
Unknown
random
[@0: The tiger visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "bald eagle" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle likes the squirrel.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle visits the tiger.[(triple3)] The bear likes the squirrel.[(triple4)] The bear needs the tiger.[(triple5)] The squirrel is nice.[(triple6)] The squirrel is young.[(triple7)] The squirrel likes the tiger.[(triple8)] The tiger is young.[(triple9)] The tiger likes the bald eagle.[(triple10)] The tiger likes the squirrel.[(triple11)] The tiger visits the bear.[(triple12 OR ((triple10 triple2) -> rule7))] @1: The bear likes the bear.[(((triple5) -> rule3))] @2: The bear is nice.[(((((triple5) -> rule3)) -> rule8))] The bear is red.[(((((triple5) -> rule3) triple4) -> rule2))] @3: The bear is blue.[(((((((triple5) -> rule3) triple4) -> rule2)) -> rule4))] @4: The bear likes the bald eagle.[(((((((((triple5) -> rule3) triple4) -> rule2)) -> rule4)) -> rule5))] @5: The bear visits the bear.[(((((((((((triple5) -> rule3) triple4) -> rule2)) -> rule4)) -> rule5) triple2) -> rule7))]
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple2
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple3
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple4
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple5
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple6
The squirrel is young.
("squirrel" "is" "young" "+")
triple7
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple8
The tiger is young.
("tiger" "is" "young" "+")
triple9
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple10
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple11
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple12
((triple10 triple2) -> (rule7 % int1))
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple5) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
((((triple5) -> (rule3 % int2))) -> (rule8 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear is red.
("bear" "is" "red" "+")
((((triple5) -> (rule3 % int2)) triple4) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
((((((triple5) -> (rule3 % int3)) triple4) -> (rule2 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear likes the bear.
("bear" "likes" "bear" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
((((((((triple5) -> (rule3 % int4)) triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear likes the bear.
("bear" "likes" "bear" "+")
int4
The bear visits the bear.
("bear" "visits" "bear" "+")
((((((((((triple5) -> (rule3 % int5)) triple4) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple2) -> (rule7 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear is red.
("bear" "is" "red" "+")
int4
The bear likes the bear.
("bear" "likes" "bear" "+")
int5