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