The bald eagle is cold. The bald eagle does not need the squirrel. The bald eagle visits the bear. The bear is kind. The bear needs the bald eagle. The rabbit chases the bear. The rabbit does not need the bald eagle. The rabbit visits the bald eagle. The rabbit visits the bear. The rabbit visits the squirrel. The squirrel chases the bald eagle. The squirrel is green. The squirrel is not kind. The squirrel needs the rabbit. If someone visits the squirrel and they visit the bald eagle then the bald eagle is red. If someone chases the rabbit then the rabbit needs the squirrel. If someone chases the rabbit then they do not need the rabbit. If someone needs the bear and the bear does not chase the bald eagle then they do not need the rabbit. If the rabbit needs the squirrel then the squirrel is rough. If someone is rough then they do not visit the bear. If someone visits the bald eagle then they are red. If someone needs the bald eagle then they chase the bear. If someone is red then they chase the rabbit.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
If someone visits the squirrel and they visit the bald eagle then the bald eagle is red.
((("someone" "visits" "squirrel" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If someone chases the rabbit then the rabbit needs the squirrel.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "needs" "squirrel" "+"))
If someone chases the rabbit then they do not need the rabbit.
((("someone" "chases" "rabbit" "+")) -> ("someone" "needs" "rabbit" "-"))
If someone needs the bear and the bear does not chase the bald eagle then they do not need the rabbit.
((("someone" "needs" "bear" "+") ("bear" "chases" "bald eagle" "~")) -> ("someone" "needs" "rabbit" "-"))
If the rabbit needs the squirrel then the squirrel is rough.
((("rabbit" "needs" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If someone is rough then they do not visit the bear.
((("someone" "is" "rough" "+")) -> ("someone" "visits" "bear" "-"))
If someone visits the bald eagle then they are red.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "is" "red" "+"))
If someone needs the bald eagle then they chase the bear.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "chases" "bear" "+"))
If someone is red then they chase the rabbit.
((("someone" "is" "red" "+")) -> ("someone" "chases" "rabbit" "+"))
The squirrel is green.
True
1
proof
[(triple12)]
("squirrel" "is" "green" "+")
triple12
The squirrel does not need the rabbit.
False
1
inv-proof
[(triple14)]
("squirrel" "needs" "rabbit" "-")
triple14
The rabbit is red.
True
2
proof
[(((triple8) -> rule7))]
("rabbit" "is" "red" "+")
((triple8) -> (rule7 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The bear does not chase the bear.
False
2
inv-proof
[(((triple5) -> rule8))]
("bear" "chases" "bear" "-")
((triple5) -> (rule8 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bald eagle chases the rabbit.
True
4
proof
[(((((triple10 triple8) -> rule1)) -> rule9))]
("bald eagle" "chases" "rabbit" "+")
((((triple10 triple8) -> (rule1 % int2))) -> (rule9 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The rabbit does not chase the rabbit.
False
3
inv-proof
[(((((triple8) -> rule7)) -> rule9))]
("rabbit" "chases" "rabbit" "-")
((((triple8) -> (rule7 % int2))) -> (rule9 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The rabbit does not need the rabbit.
True
4
proof
[(((((((triple8) -> rule7)) -> rule9)) -> rule3))]
("rabbit" "needs" "rabbit" "-")
((((((triple8) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The rabbit does not need the rabbit.
("rabbit" "needs" "rabbit" "-")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
int3
The bald eagle needs the rabbit.
False
5
inv-proof
[(((((((triple10 triple8) -> rule1)) -> rule9)) -> rule3))]
("bald eagle" "needs" "rabbit" "+")
((((((triple10 triple8) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The squirrel is rough.
True
5
proof
[(((((((((triple8) -> rule7)) -> rule9)) -> rule2)) -> rule5) OR ((((((((triple10 triple8) -> rule1)) -> rule9)) -> rule2)) -> rule5))]
("squirrel" "is" "rough" "+")
((((((((triple8) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3
The rabbit is red.
("rabbit" "is" "red" "+")
int4
((((((((triple10 triple8) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
The bald eagle is red.
("bald eagle" "is" "red" "+")
int4
The squirrel is not rough.
False
5
inv-proof
[(((((((((triple8) -> rule7)) -> rule9)) -> rule2)) -> rule5) OR ((((((((triple10 triple8) -> rule1)) -> rule9)) -> rule2)) -> rule5))]
("squirrel" "is" "rough" "-")
((((((((triple8) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3
The rabbit is red.
("rabbit" "is" "red" "+")
int4
((((((((triple10 triple8) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
The bald eagle is red.
("bald eagle" "is" "red" "+")
int4
The squirrel does not visit the bear.
True
6
proof
[(((((((((((triple8) -> rule7)) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((((((triple10 triple8) -> rule1)) -> rule9)) -> rule2)) -> rule5)) -> rule6))]
("squirrel" "visits" "bear" "-")
((((((((((triple8) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel does not visit the bear.
("squirrel" "visits" "bear" "-")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int3
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int4
The rabbit is red.
("rabbit" "is" "red" "+")
int5
((((((((((triple10 triple8) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel does not visit the bear.
("squirrel" "visits" "bear" "-")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int3
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
int5
The squirrel visits the bear.
False
6
inv-proof
[(((((((((((triple8) -> rule7)) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((((((triple10 triple8) -> rule1)) -> rule9)) -> rule2)) -> rule5)) -> rule6))]
("squirrel" "visits" "bear" "+")
((((((((((triple8) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel does not visit the bear.
("squirrel" "visits" "bear" "-")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int3
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int4
The rabbit is red.
("rabbit" "is" "red" "+")
int5
((((((((((triple10 triple8) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel does not visit the bear.
("squirrel" "visits" "bear" "-")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int3
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
int5
The squirrel does not chase the bear.
Unknown
inv-rconc
[@1: The squirrel chases the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "chases" "bear" "-")
The bear chases the rabbit.
Unknown
rconc
[@2: The bear chases the rabbit.[CWA. Example of deepest failure = (rule9 <- rule7 <- FAIL)]]
("bear" "chases" "rabbit" "+")
The squirrel is not red.
Unknown
inv-rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "is" "red" "-")
The bald eagle chases the bear.
Unknown
rconc
[@1: The bald eagle chases the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "chases" "bear" "+")
The squirrel does not chase the rabbit.
Unknown
inv-rconc
[@2: The squirrel chases the rabbit.[CWA. Example of deepest failure = (rule9 <- rule7 <- FAIL)]]
("squirrel" "chases" "rabbit" "-")
The bear is red.
Unknown
rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "is" "red" "+")
The bear does not need the squirrel.
Unknown
inv-random
[@0: The bear needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "squirrel" "-")
The squirrel visits the bald eagle.
Unknown
random
[@0: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bald eagle" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The rabbit chases the bald eagle.
Unknown
random
[@0: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bald eagle" "+")
The rabbit is not rough.
Unknown
inv-random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
@0: The bald eagle does not need the squirrel.[(triple2)] The bald eagle is cold.[(triple1)] The bald eagle visits the bear.[(triple3)] The bear is kind.[(triple4)] The bear needs the bald eagle.[(triple5)] The rabbit chases the bear.[(triple6)] The rabbit does not need the bald eagle.[(triple7)] The rabbit visits the bald eagle.[(triple8)] The rabbit visits the bear.[(triple9)] The rabbit visits the squirrel.[(triple10)] The squirrel chases the bald eagle.[(triple11)] The squirrel is green.[(triple12)] The squirrel is not kind.[(triple13)] The squirrel needs the rabbit.[(triple14)] @1: The bald eagle is red.[(((triple10 triple8) -> rule1))] The bear chases the bear.[(((triple5) -> rule8))] The rabbit is red.[(((triple8) -> rule7))] @2: The bald eagle chases the rabbit.[(((((triple10 triple8) -> rule1)) -> rule9))] The rabbit chases the rabbit.[(((((triple8) -> rule7)) -> rule9))] @3: The bald eagle does not need the rabbit.[(((((((triple10 triple8) -> rule1)) -> rule9)) -> rule3))] The rabbit does not need the rabbit.[(((((((triple8) -> rule7)) -> rule9)) -> rule3))] The rabbit needs the squirrel.[(((((((triple8) -> rule7)) -> rule9)) -> rule2) OR ((((((triple10 triple8) -> rule1)) -> rule9)) -> rule2))] @4: The squirrel is rough.[(((((((((triple8) -> rule7)) -> rule9)) -> rule2)) -> rule5) OR ((((((((triple10 triple8) -> rule1)) -> rule9)) -> rule2)) -> rule5))] @5: The squirrel does not visit the bear.[(((((((((((triple8) -> rule7)) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((((((triple10 triple8) -> rule1)) -> rule9)) -> rule2)) -> rule5)) -> rule6))]
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple5
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple6
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
triple7
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple8
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple9
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple10
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple13
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple14
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple10 triple8) -> (rule1 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple5) -> (rule8 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
((triple8) -> (rule7 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
((((triple10 triple8) -> (rule1 % int2))) -> (rule9 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((((triple8) -> (rule7 % int2))) -> (rule9 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
((((((triple10 triple8) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The rabbit does not need the rabbit.
("rabbit" "needs" "rabbit" "-")
((((((triple8) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The rabbit does not need the rabbit.
("rabbit" "needs" "rabbit" "-")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
int3
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
((((((triple8) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
int3
((((((triple10 triple8) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
((((((((triple8) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3
The rabbit is red.
("rabbit" "is" "red" "+")
int4
((((((((triple10 triple8) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
The bald eagle is red.
("bald eagle" "is" "red" "+")
int4
The squirrel does not visit the bear.
("squirrel" "visits" "bear" "-")
((((((((((triple8) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel does not visit the bear.
("squirrel" "visits" "bear" "-")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int3
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int4
The rabbit is red.
("rabbit" "is" "red" "+")
int5
((((((((((triple10 triple8) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel does not visit the bear.
("squirrel" "visits" "bear" "-")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int3
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
int5