The bald eagle chases the tiger. The bald eagle is kind. The bald eagle needs the squirrel. The lion is kind. The squirrel does not need the bald eagle. The squirrel needs the lion. The squirrel visits the bald eagle. The squirrel visits the tiger. The tiger chases the bald eagle. The tiger needs the bald eagle. The tiger needs the lion. If something visits the lion then the lion visits the bald eagle. If something needs the lion then it chases the bald eagle. If something is young and cold then it does not chase the bald eagle. If something chases the bald eagle then it chases the tiger. If the lion visits the bald eagle then the lion visits the squirrel. If something visits the tiger and the tiger needs the bald eagle then the bald eagle visits the squirrel. If something visits the squirrel then it visits the lion. If the squirrel is kind and the squirrel is not round then the squirrel does not chase the tiger. If something is green and it does not visit the bald eagle then it chases the lion.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The lion is kind.
("lion" "is" "kind" "+")
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
If something visits the lion then the lion visits the bald eagle.
((("something" "visits" "lion" "+")) -> ("lion" "visits" "bald eagle" "+"))
If something needs the lion then it chases the bald eagle.
((("something" "needs" "lion" "+")) -> ("something" "chases" "bald eagle" "+"))
If something is young and cold then it does not chase the bald eagle.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "chases" "bald eagle" "-"))
If something chases the bald eagle then it chases the tiger.
((("something" "chases" "bald eagle" "+")) -> ("something" "chases" "tiger" "+"))
If the lion visits the bald eagle then the lion visits the squirrel.
((("lion" "visits" "bald eagle" "+")) -> ("lion" "visits" "squirrel" "+"))
If something visits the tiger and the tiger needs the bald eagle then the bald eagle visits the squirrel.
((("something" "visits" "tiger" "+") ("tiger" "needs" "bald eagle" "+")) -> ("bald eagle" "visits" "squirrel" "+"))
If something visits the squirrel then it visits the lion.
((("something" "visits" "squirrel" "+")) -> ("something" "visits" "lion" "+"))
If the squirrel is kind and the squirrel is not round then the squirrel does not chase the tiger.
((("squirrel" "is" "kind" "+") ("squirrel" "is" "round" "~")) -> ("squirrel" "chases" "tiger" "-"))
If something is green and it does not visit the bald eagle then it chases the lion.
((("something" "is" "green" "+") ("something" "visits" "bald eagle" "~")) -> ("something" "chases" "lion" "+"))
The squirrel needs the lion.
True
1
proof
[(triple6)]
("squirrel" "needs" "lion" "+")
triple6
The tiger does not need the lion.
False
1
inv-proof
[(triple11)]
("tiger" "needs" "lion" "-")
triple11
The squirrel chases the bald eagle.
True
2
proof
[(((triple6) -> rule2))]
("squirrel" "chases" "bald eagle" "+")
((triple6) -> (rule2 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The bald eagle does not visit the squirrel.
False
3
inv-proof
[(((triple8 triple10) -> rule6))]
("bald eagle" "visits" "squirrel" "-")
((triple8 triple10) -> (rule6 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The bald eagle visits the lion.
True
4
proof
[(((((triple8 triple10) -> rule6)) -> rule7))]
("bald eagle" "visits" "lion" "+")
((((triple8 triple10) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2
The bald eagle does not visit the lion.
False
4
inv-proof
[(((((triple8 triple10) -> rule6)) -> rule7))]
("bald eagle" "visits" "lion" "-")
((((triple8 triple10) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2
The lion visits the bald eagle.
True
5
proof
[(((((((triple8 triple10) -> rule6)) -> rule7)) -> rule1))]
("lion" "visits" "bald eagle" "+")
((((((triple8 triple10) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int2
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int3
The lion does not visit the bald eagle.
False
5
inv-proof
[(((((((triple8 triple10) -> rule6)) -> rule7)) -> rule1))]
("lion" "visits" "bald eagle" "-")
((((((triple8 triple10) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int2
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int3
The lion visits the squirrel.
True
6
proof
[(((((((((triple8 triple10) -> rule6)) -> rule7)) -> rule1)) -> rule5))]
("lion" "visits" "squirrel" "+")
((((((((triple8 triple10) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int3
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int4
The lion does not visit the squirrel.
False
6
inv-proof
[(((((((((triple8 triple10) -> rule6)) -> rule7)) -> rule1)) -> rule5))]
("lion" "visits" "squirrel" "-")
((((((((triple8 triple10) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int3
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int4
The lion visits the lion.
True
7
proof
[(((((((((((triple8 triple10) -> rule6)) -> rule7)) -> rule1)) -> rule5)) -> rule7))]
("lion" "visits" "lion" "+")
((((((((((triple8 triple10) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int2
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int3
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int4
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int5
The lion does not visit the lion.
False
7
inv-proof
[(((((((((((triple8 triple10) -> rule6)) -> rule7)) -> rule1)) -> rule5)) -> rule7))]
("lion" "visits" "lion" "-")
((((((((((triple8 triple10) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int2
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int3
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int4
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int5
The tiger does not visit the lion.
Unknown
inv-rconc
[@1: The tiger visits the lion.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "visits" "lion" "-")
The squirrel chases the lion.
Unknown
rconc
[@1: The squirrel chases the lion.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("squirrel" "chases" "lion" "+")
The bald eagle does not chase the lion.
Unknown
inv-rconc
[@1: The bald eagle chases the lion.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("bald eagle" "chases" "lion" "-")
The lion chases the tiger.
Unknown
rconc
[@2: The lion chases the tiger.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("lion" "chases" "tiger" "+")
The lion does not chase the bald eagle.
Unknown
inv-rconc
[@1: The lion chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "chases" "bald eagle" "-")
The lion chases the lion.
Unknown
rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("lion" "chases" "lion" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
The squirrel does not need the tiger.
Unknown
inv-random
[@0: The squirrel needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "tiger" "-")
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 bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
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" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The lion is kind.[(triple4)] The squirrel does not need the bald eagle.[(triple5)] The squirrel needs the lion.[(triple6)] The squirrel visits the bald eagle.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger chases the bald eagle.[(triple9 OR ((triple11) -> rule2))] The tiger needs the bald eagle.[(triple10)] The tiger needs the lion.[(triple11)] @1: The bald eagle visits the squirrel.[(((triple8 triple10) -> rule6))] The squirrel chases the bald eagle.[(((triple6) -> rule2))] The tiger chases the tiger.[(((triple9) -> rule4) OR ((((triple11) -> rule2)) -> rule4))] @2: The bald eagle visits the lion.[(((((triple8 triple10) -> rule6)) -> rule7))] The squirrel chases the tiger.[(((((triple6) -> rule2)) -> rule4))] @3: The lion visits the bald eagle.[(((((((triple8 triple10) -> rule6)) -> rule7)) -> rule1))] @4: The lion visits the squirrel.[(((((((((triple8 triple10) -> rule6)) -> rule7)) -> rule1)) -> rule5))] @5: The lion visits the lion.[(((((((((((triple8 triple10) -> rule6)) -> rule7)) -> rule1)) -> rule5)) -> rule7))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple3
The lion is kind.
("lion" "is" "kind" "+")
triple4
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
triple5
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple6
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple7
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple8
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple9
((triple11) -> (rule2 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple10
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple11
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
((triple8 triple10) -> (rule6 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
((triple6) -> (rule2 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((triple9) -> (rule4 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
((((triple11) -> (rule2 % int2))) -> (rule4 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
((((triple8 triple10) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
((((((triple8 triple10) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int2
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int3
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
((((((((triple8 triple10) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int3
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int4
The lion visits the lion.
("lion" "visits" "lion" "+")
((((((((((triple8 triple10) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int2
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int3
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int4
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int5