The bald eagle is kind. The cow chases the squirrel. The cow is rough. The squirrel chases the bald eagle. The tiger is big. The tiger sees the cow. The tiger visits the squirrel. All rough people are big. If someone is rough and big then they see the bald eagle. If someone chases the tiger then the tiger sees the squirrel. All big people are rough. If the cow sees the bald eagle then the bald eagle is big. If someone is big and they see the cow then the cow visits the tiger. If someone is rough then they chase the squirrel. If someone visits the cow and they are blue then the cow is big.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is rough.
("cow" "is" "rough" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
All rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and big then they see the bald eagle.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone chases the tiger then the tiger sees the squirrel.
((("someone" "chases" "tiger" "+")) -> ("tiger" "sees" "squirrel" "+"))
All big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If the cow sees the bald eagle then the bald eagle is big.
((("cow" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
If someone is big and they see the cow then the cow visits the tiger.
((("someone" "is" "big" "+") ("someone" "sees" "cow" "+")) -> ("cow" "visits" "tiger" "+"))
If someone is rough then they chase the squirrel.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone visits the cow and they are blue then the cow is big.
((("someone" "visits" "cow" "+") ("someone" "is" "blue" "+")) -> ("cow" "is" "big" "+"))
The squirrel chases the bald eagle.
True
1
proof
[(triple4)]
("squirrel" "chases" "bald eagle" "+")
triple4
The cow does not chase the squirrel.
False
1
inv-proof
[(triple2 OR ((triple3) -> rule7))]
("cow" "chases" "squirrel" "-")
triple2
((triple3) -> (rule7 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow visits the tiger.
True
3
proof
[(((triple5 triple6) -> rule6))]
("cow" "visits" "tiger" "+")
((triple5 triple6) -> (rule6 % int1))
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int1
The cow is not big.
False
2
inv-proof
[(((triple3) -> rule1))]
("cow" "is" "big" "-")
((triple3) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The tiger chases the squirrel.
True
3
proof
[(((((triple5) -> rule4)) -> rule7))]
("tiger" "chases" "squirrel" "+")
((((triple5) -> (rule4 % int2))) -> (rule7 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger does not chase the squirrel.
False
3
inv-proof
[(((((triple5) -> rule4)) -> rule7))]
("tiger" "chases" "squirrel" "-")
((((triple5) -> (rule4 % int2))) -> (rule7 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The bald eagle is big.
True
5
proof
[(((((triple3 ((triple3) -> rule1)) -> rule2)) -> rule5))]
("bald eagle" "is" "big" "+")
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The bald eagle is not big.
False
5
inv-proof
[(((((triple3 ((triple3) -> rule1)) -> rule2)) -> rule5))]
("bald eagle" "is" "big" "-")
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The bald eagle is rough.
True
6
proof
[(((((((triple3 ((triple3) -> rule1)) -> rule2)) -> rule5)) -> rule4))]
("bald eagle" "is" "rough" "+")
((((((triple3 ((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
The bald eagle is not rough.
False
6
inv-proof
[(((((((triple3 ((triple3) -> rule1)) -> rule2)) -> rule5)) -> rule4))]
("bald eagle" "is" "rough" "-")
((((((triple3 ((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
The bald eagle sees the bald eagle.
True
12
proof
[(((((((((triple3 ((triple3) -> rule1)) -> rule2)) -> rule5)) -> rule4) ((((triple3 ((triple3) -> rule1)) -> rule2)) -> rule5)) -> rule2))]
("bald eagle" "sees" "bald eagle" "+")
((((((((triple3 ((triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((((triple3 ((triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The bald eagle does not chase the squirrel.
False
7
inv-proof
[(((((((((triple3 ((triple3) -> rule1)) -> rule2)) -> rule5)) -> rule4)) -> rule7))]
("bald eagle" "chases" "squirrel" "-")
((((((((triple3 ((triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The squirrel does not see the bald eagle.
Unknown
inv-rconc
[@3: The squirrel sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- rule4 <- rule1 <- FAIL)]]
("squirrel" "sees" "bald eagle" "-")
The squirrel is big.
Unknown
rconc
[@2: The squirrel is big.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("squirrel" "is" "big" "+")
The squirrel is not rough.
Unknown
inv-rconc
[@2: The squirrel is rough.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("squirrel" "is" "rough" "-")
The tiger sees the squirrel.
Unknown
rconc
[@1: The tiger sees the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "sees" "squirrel" "+")
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@3: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule7 <- rule4 <- rule1 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The tiger chases the cow.
Unknown
random
[@0: The tiger chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "cow" "+")
The squirrel does not visit the cow.
Unknown
inv-random
[@0: The squirrel visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "cow" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
The bald eagle does not visit the squirrel.
Unknown
inv-random
[@0: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "squirrel" "-")
The bald eagle chases the cow.
Unknown
random
[@0: The bald eagle chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cow" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
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" "+")
@0: The bald eagle is kind.[(triple1)] The cow chases the squirrel.[(triple2 OR ((triple3) -> rule7))] The cow is rough.[(triple3)] The squirrel chases the bald eagle.[(triple4)] The tiger is big.[(triple5)] The tiger sees the cow.[(triple6)] The tiger visits the squirrel.[(triple7)] @1: The cow is big.[(((triple3) -> rule1))] The cow visits the tiger.[(((triple5 triple6) -> rule6))] The tiger is rough.[(((triple5) -> rule4))] @2: The cow sees the bald eagle.[(((triple3 ((triple3) -> rule1)) -> rule2))] The tiger chases the squirrel.[(((((triple5) -> rule4)) -> rule7))] The tiger sees the bald eagle.[(((((triple5) -> rule4) triple5) -> rule2))] @3: The bald eagle is big.[(((((triple3 ((triple3) -> rule1)) -> rule2)) -> rule5))] @4: The bald eagle is rough.[(((((((triple3 ((triple3) -> rule1)) -> rule2)) -> rule5)) -> rule4))] @5: The bald eagle chases the squirrel.[(((((((((triple3 ((triple3) -> rule1)) -> rule2)) -> rule5)) -> rule4)) -> rule7))] The bald eagle sees the bald eagle.[(((((((((triple3 ((triple3) -> rule1)) -> rule2)) -> rule5)) -> rule4) ((((triple3 ((triple3) -> rule1)) -> rule2)) -> rule5)) -> rule2))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple2
((triple3) -> (rule7 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
triple3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple4
The tiger is big.
("tiger" "is" "big" "+")
triple5
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple6
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple7
The cow is big.
("cow" "is" "big" "+")
((triple3) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow visits the tiger.
("cow" "visits" "tiger" "+")
((triple5 triple6) -> (rule6 % int1))
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
((triple5) -> (rule4 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
((triple3 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
((((triple5) -> (rule4 % int2))) -> (rule7 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
((((triple5) -> (rule4 % int2)) triple5) -> (rule2 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((((triple3 ((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
((((((((triple3 ((triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((((((triple3 ((triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((((triple3 ((triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5