The bald eagle sees the squirrel. The bald eagle sees the tiger. The bear chases the tiger. The bear visits the bald eagle. The squirrel is green. The squirrel is red. The squirrel is young. The squirrel does not see the bald eagle. The squirrel does not see the bear. The squirrel does not see the tiger. The squirrel does not visit the bear. The squirrel visits the tiger. The tiger is blue. The tiger does not visit the bald eagle. The tiger visits the bear. The tiger visits the squirrel. If someone visits the tiger then the tiger does not chase the squirrel. If someone chases the bald eagle then they are not cold. If someone visits the squirrel and the squirrel sees the bear then they do not see the squirrel. If someone chases the squirrel and the squirrel sees the bald eagle then they are red. If someone is green then they chase the squirrel. If someone is young and they chase the tiger then they are blue. If someone chases the squirrel then they chase the bald eagle. If someone chases the bald eagle then the bald eagle is green. If the bald eagle does not see the squirrel then the bald eagle does not visit the bear.
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
The squirrel does not see the bear.
("squirrel" "sees" "bear" "-")
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
The squirrel does not visit the bear.
("squirrel" "visits" "bear" "-")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone visits the tiger then the tiger does not chase the squirrel.
((("someone" "visits" "tiger" "+")) -> ("tiger" "chases" "squirrel" "-"))
If someone chases the bald eagle then they are not cold.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "cold" "-"))
If someone visits the squirrel and the squirrel sees the bear then they do not see the squirrel.
((("someone" "visits" "squirrel" "+") ("squirrel" "sees" "bear" "+")) -> ("someone" "sees" "squirrel" "-"))
If someone chases the squirrel and the squirrel sees the bald eagle then they are red.
((("someone" "chases" "squirrel" "+") ("squirrel" "sees" "bald eagle" "+")) -> ("someone" "is" "red" "+"))
If someone is green then they chase the squirrel.
((("someone" "is" "green" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone is young and they chase the tiger then they are blue.
((("someone" "is" "young" "+") ("someone" "chases" "tiger" "+")) -> ("someone" "is" "blue" "+"))
If someone chases the squirrel then they chase the bald eagle.
((("someone" "chases" "squirrel" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone chases the bald eagle then the bald eagle is green.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
If the bald eagle does not see the squirrel then the bald eagle does not visit the bear.
((("bald eagle" "sees" "squirrel" "~")) -> ("bald eagle" "visits" "bear" "-"))
The bald eagle sees the tiger.
True
1
proof
[(triple2)]
("bald eagle" "sees" "tiger" "+")
triple2
The squirrel is not green.
False
1
inv-proof
[(triple5)]
("squirrel" "is" "green" "-")
triple5
The squirrel chases the squirrel.
True
2
proof
[(((triple5) -> rule5))]
("squirrel" "chases" "squirrel" "+")
((triple5) -> (rule5 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The tiger chases the squirrel.
False
2
inv-proof
[(((triple12) -> rule1))]
("tiger" "chases" "squirrel" "+")
((triple12) -> (rule1 % int1))
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
int1
The squirrel chases the bald eagle.
True
3
proof
[(((((triple5) -> rule5)) -> rule7))]
("squirrel" "chases" "bald eagle" "+")
((((triple5) -> (rule5 % int2))) -> (rule7 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel does not chase the bald eagle.
False
3
inv-proof
[(((((triple5) -> rule5)) -> rule7))]
("squirrel" "chases" "bald eagle" "-")
((((triple5) -> (rule5 % int2))) -> (rule7 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is not cold.
True
4
proof
[(((((((triple5) -> rule5)) -> rule7)) -> rule2))]
("squirrel" "is" "cold" "-")
((((((triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The squirrel is not cold.
("squirrel" "is" "cold" "-")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3
The bald eagle is not green.
False
4
inv-proof
[(((((((triple5) -> rule5)) -> rule7)) -> rule8))]
("bald eagle" "is" "green" "-")
((((((triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3
The bald eagle chases the squirrel.
True
5
proof
[(((((((((triple5) -> rule5)) -> rule7)) -> rule8)) -> rule5))]
("bald eagle" "chases" "squirrel" "+")
((((((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int4
The bald eagle does not chase the squirrel.
False
5
inv-proof
[(((((((((triple5) -> rule5)) -> rule7)) -> rule8)) -> rule5))]
("bald eagle" "chases" "squirrel" "-")
((((((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int4
The bald eagle chases the bald eagle.
True
6
proof
[(((((((((((triple5) -> rule5)) -> rule7)) -> rule8)) -> rule5)) -> rule7))]
("bald eagle" "chases" "bald eagle" "+")
((((((((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int5
The bald eagle does not chase the bald eagle.
False
6
inv-proof
[(((((((((((triple5) -> rule5)) -> rule7)) -> rule8)) -> rule5)) -> rule7))]
("bald eagle" "chases" "bald eagle" "-")
((((((((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int5
The bald eagle is not blue.
Unknown
inv-rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The tiger is red.
Unknown
rconc
[@1: The tiger is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "is" "red" "+")
The tiger does not chase the bald eagle.
Unknown
inv-rconc
[@1: The tiger chases the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "chases" "bald eagle" "-")
The bald eagle is red.
Unknown
rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "red" "+")
The bear is not blue.
Unknown
inv-rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "blue" "-")
The bear is red.
Unknown
rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "red" "+")
The tiger is not green.
Unknown
inv-random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "-")
The bald eagle chases the tiger.
Unknown
random
[@0: The bald eagle chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "tiger" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
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 bear visits the squirrel.
Unknown
random
[@0: The bear visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "squirrel" "+")
@0: The bald eagle sees the squirrel.[(triple1)] The bald eagle sees the tiger.[(triple2)] The bear chases the tiger.[(triple3)] The bear visits the bald eagle.[(triple4)] The squirrel does not see the bald eagle.[(triple8)] The squirrel does not see the bear.[(triple9)] The squirrel does not see the tiger.[(triple10)] The squirrel does not visit the bear.[(triple11)] The squirrel is green.[(triple5)] The squirrel is red.[(triple6)] The squirrel is young.[(triple7)] The squirrel visits the tiger.[(triple12)] The tiger does not visit the bald eagle.[(triple14)] The tiger is blue.[(triple13)] The tiger visits the bear.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The squirrel chases the squirrel.[(((triple5) -> rule5))] The tiger does not chase the squirrel.[(((triple12) -> rule1))] @2: The squirrel chases the bald eagle.[(((((triple5) -> rule5)) -> rule7))] @3: The bald eagle is green.[(((((((triple5) -> rule5)) -> rule7)) -> rule8))] The squirrel is not cold.[(((((((triple5) -> rule5)) -> rule7)) -> rule2))] @4: The bald eagle chases the squirrel.[(((((((((triple5) -> rule5)) -> rule7)) -> rule8)) -> rule5))] @5: The bald eagle chases the bald eagle.[(((((((((((triple5) -> rule5)) -> rule7)) -> rule8)) -> rule5)) -> rule7))] @6: The bald eagle is not cold.[(((((((((((((triple5) -> rule5)) -> rule7)) -> rule8)) -> rule5)) -> rule7)) -> rule2))]
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple2
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple3
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple4
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
triple8
The squirrel does not see the bear.
("squirrel" "sees" "bear" "-")
triple9
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
triple10
The squirrel does not visit the bear.
("squirrel" "visits" "bear" "-")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple5
The squirrel is red.
("squirrel" "is" "red" "+")
triple6
The squirrel is young.
("squirrel" "is" "young" "+")
triple7
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple12
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
triple14
The tiger is blue.
("tiger" "is" "blue" "+")
triple13
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple15
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple16
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple5) -> (rule5 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
((triple12) -> (rule1 % int1))
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
((((triple5) -> (rule5 % int2))) -> (rule7 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
((((((triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3
The squirrel is not cold.
("squirrel" "is" "cold" "-")
((((((triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The squirrel is not cold.
("squirrel" "is" "cold" "-")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
((((((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int4
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((((((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int5
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
((((((((((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int3
The bald eagle is green.
("bald eagle" "is" "green" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int6