Anne is big. Anne is cold. Anne is kind. Anne is red. Charlie is big. Charlie is furry. Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Harry is cold. Harry is furry. Harry is kind. Harry is rough. Harry is round. If someone is rough and furry then they are round. If someone is cold then they are furry. If someone is big then they are kind. If someone is furry then they are rough. If Charlie is red then Charlie is kind. Kind, big people are furry. If someone is rough then they are big. If someone is kind and big then they are furry.
Harry is red.
@0: Anne is big.[(triple1 OR ((((((triple2) -> rule2)) -> rule4)) -> rule7))] Anne is cold.[(triple2)] Anne is kind.[(triple3 OR ((triple1) -> rule3) OR ((((((((triple2) -> rule2)) -> rule4)) -> rule7)) -> rule3))] Anne is red.[(triple4)] Charlie is big.[(triple5 OR ((triple9) -> rule7) OR ((((triple6) -> rule4)) -> rule7))] Charlie is furry.[(triple6 OR ((triple7 triple5) -> rule6) OR ((triple7 triple5) -> rule8) OR ((triple7 ((triple9) -> rule7)) -> rule6) OR ((triple7 ((triple9) -> rule7)) -> rule8) OR ((((triple5) -> rule3) triple5) -> rule6) OR ((((triple5) -> rule3) triple5) -> rule8) OR ((((triple8) -> rule5) triple5) -> rule6) OR ((((triple8) -> rule5) triple5) -> rule8) OR ((((triple5) -> rule3) ((triple9) -> rule7)) -> rule6) OR ((((triple5) -> rule3) ((triple9) -> rule7)) -> rule8) OR ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule6) OR ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule8) OR ((((((triple9) -> rule7)) -> rule3) triple5) -> rule6) OR ((((((triple9) -> rule7)) -> rule3) triple5) -> rule8) OR ((((((triple9) -> rule7)) -> rule3) ((triple9) -> rule7)) -> rule6) OR ((((((triple9) -> rule7)) -> rule3) ((triple9) -> rule7)) -> rule8))] Charlie is kind.[(triple7 OR ((triple5) -> rule3) OR ((triple8) -> rule5) OR ((((triple9) -> rule7)) -> rule3) OR ((((((triple6) -> rule4)) -> rule7)) -> rule3))] Charlie is red.[(triple8)] Charlie is rough.[(triple9 OR ((triple6) -> rule4) OR ((((triple7 triple5) -> rule6)) -> rule4) OR ((((triple7 triple5) -> rule8)) -> rule4) OR ((((((triple5) -> rule3) triple5) -> rule6)) -> rule4) OR ((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) OR ((((((triple8) -> rule5) triple5) -> rule6)) -> rule4) OR ((((((triple8) -> rule5) triple5) -> rule8)) -> rule4))] Charlie is round.[(triple10 OR ((triple9 triple6) -> rule1) OR ((triple9 ((triple7 triple5) -> rule6)) -> rule1) OR ((triple9 ((triple7 triple5) -> rule8)) -> rule1) OR ((((triple6) -> rule4) triple6) -> rule1) OR ((((triple6) -> rule4) ((triple7 triple5) -> rule6)) -> rule1) OR ((((triple6) -> rule4) ((triple7 triple5) -> rule8)) -> rule1) OR ((triple9 ((triple7 ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((triple9 ((triple7 ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((triple9 ((((triple5) -> rule3) triple5) -> rule6)) -> rule1) OR ((triple9 ((((triple5) -> rule3) triple5) -> rule8)) -> rule1) OR ((triple9 ((((triple8) -> rule5) triple5) -> rule6)) -> rule1) OR ((triple9 ((((triple8) -> rule5) triple5) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule6)) -> rule4) triple6) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule4) triple6) -> rule1) OR ((triple9 ((((triple5) -> rule3) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((triple9 ((((triple5) -> rule3) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((triple9 ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((triple9 ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((triple6) -> rule4) ((triple7 ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((triple6) -> rule4) ((triple7 ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((triple6) -> rule4) ((((triple5) -> rule3) triple5) -> rule6)) -> rule1) OR ((((triple6) -> rule4) ((((triple5) -> rule3) triple5) -> rule8)) -> rule1) OR ((((triple6) -> rule4) ((((triple8) -> rule5) triple5) -> rule6)) -> rule1) OR ((((triple6) -> rule4) ((((triple8) -> rule5) triple5) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule6)) -> rule4) ((triple7 triple5) -> rule6)) -> rule1) OR ((((((triple7 triple5) -> rule6)) -> rule4) ((triple7 triple5) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule4) ((triple7 triple5) -> rule6)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule4) ((triple7 triple5) -> rule8)) -> rule1) OR ((((triple6) -> rule4) ((((triple5) -> rule3) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((triple6) -> rule4) ((((triple5) -> rule3) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((triple6) -> rule4) ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((triple6) -> rule4) ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule6)) -> rule4) ((triple7 ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((triple7 triple5) -> rule6)) -> rule4) ((triple7 ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule6)) -> rule4) ((((triple5) -> rule3) triple5) -> rule6)) -> rule1) OR ((((((triple7 triple5) -> rule6)) -> rule4) ((((triple5) -> rule3) triple5) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule6)) -> rule4) ((((triple8) -> rule5) triple5) -> rule6)) -> rule1) OR ((((((triple7 triple5) -> rule6)) -> rule4) ((((triple8) -> rule5) triple5) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule4) ((triple7 ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule4) ((triple7 ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule4) ((((triple5) -> rule3) triple5) -> rule6)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule4) ((((triple5) -> rule3) triple5) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule4) ((((triple8) -> rule5) triple5) -> rule6)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule4) ((((triple8) -> rule5) triple5) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule6)) -> rule4) ((((triple5) -> rule3) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((triple7 triple5) -> rule6)) -> rule4) ((((triple5) -> rule3) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule6)) -> rule4) ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((triple7 triple5) -> rule6)) -> rule4) ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule4) ((((triple5) -> rule3) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule4) ((((triple5) -> rule3) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule4) ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule4) ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((triple9 ((((((triple9) -> rule7)) -> rule3) triple5) -> rule6)) -> rule1) OR ((triple9 ((((((triple9) -> rule7)) -> rule3) triple5) -> rule8)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule6)) -> rule4) triple6) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) triple6) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule6)) -> rule4) triple6) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule8)) -> rule4) triple6) -> rule1) OR ((triple9 ((((((triple9) -> rule7)) -> rule3) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((triple9 ((((((triple9) -> rule7)) -> rule3) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((triple6) -> rule4) ((((((triple9) -> rule7)) -> rule3) triple5) -> rule6)) -> rule1) OR ((((triple6) -> rule4) ((((((triple9) -> rule7)) -> rule3) triple5) -> rule8)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule6)) -> rule4) ((triple7 triple5) -> rule6)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule6)) -> rule4) ((triple7 triple5) -> rule8)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) ((triple7 triple5) -> rule6)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) ((triple7 triple5) -> rule8)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule6)) -> rule4) ((triple7 triple5) -> rule6)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule6)) -> rule4) ((triple7 triple5) -> rule8)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule8)) -> rule4) ((triple7 triple5) -> rule6)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule8)) -> rule4) ((triple7 triple5) -> rule8)) -> rule1) OR ((((triple6) -> rule4) ((((((triple9) -> rule7)) -> rule3) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((triple6) -> rule4) ((((((triple9) -> rule7)) -> rule3) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule6)) -> rule4) ((((((triple9) -> rule7)) -> rule3) triple5) -> rule6)) -> rule1) OR ((((((triple7 triple5) -> rule6)) -> rule4) ((((((triple9) -> rule7)) -> rule3) triple5) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule4) ((((((triple9) -> rule7)) -> rule3) triple5) -> rule6)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule4) ((((((triple9) -> rule7)) -> rule3) triple5) -> rule8)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule6)) -> rule4) ((triple7 ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule6)) -> rule4) ((triple7 ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule6)) -> rule4) ((((triple5) -> rule3) triple5) -> rule6)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule6)) -> rule4) ((((triple5) -> rule3) triple5) -> rule8)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule6)) -> rule4) ((((triple8) -> rule5) triple5) -> rule6)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule6)) -> rule4) ((((triple8) -> rule5) triple5) -> rule8)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) ((triple7 ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) ((triple7 ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) ((((triple5) -> rule3) triple5) -> rule6)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) ((((triple5) -> rule3) triple5) -> rule8)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) ((((triple8) -> rule5) triple5) -> rule6)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) ((((triple8) -> rule5) triple5) -> rule8)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule6)) -> rule4) ((triple7 ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule6)) -> rule4) ((triple7 ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule6)) -> rule4) ((((triple5) -> rule3) triple5) -> rule6)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule6)) -> rule4) ((((triple5) -> rule3) triple5) -> rule8)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule6)) -> rule4) ((((triple8) -> rule5) triple5) -> rule6)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule6)) -> rule4) ((((triple8) -> rule5) triple5) -> rule8)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule8)) -> rule4) ((triple7 ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule8)) -> rule4) ((triple7 ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule8)) -> rule4) ((((triple5) -> rule3) triple5) -> rule6)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule8)) -> rule4) ((((triple5) -> rule3) triple5) -> rule8)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule8)) -> rule4) ((((triple8) -> rule5) triple5) -> rule6)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule8)) -> rule4) ((((triple8) -> rule5) triple5) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule6)) -> rule4) ((((((triple9) -> rule7)) -> rule3) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((triple7 triple5) -> rule6)) -> rule4) ((((((triple9) -> rule7)) -> rule3) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule4) ((((((triple9) -> rule7)) -> rule3) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule4) ((((((triple9) -> rule7)) -> rule3) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule6)) -> rule4) ((((triple5) -> rule3) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule6)) -> rule4) ((((triple5) -> rule3) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule6)) -> rule4) ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule6)) -> rule4) ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule6)) -> rule4) ((((((triple9) -> rule7)) -> rule3) triple5) -> rule6)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule6)) -> rule4) ((((((triple9) -> rule7)) -> rule3) triple5) -> rule8)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) ((((triple5) -> rule3) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) ((((triple5) -> rule3) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) ((((((triple9) -> rule7)) -> rule3) triple5) -> rule6)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) ((((((triple9) -> rule7)) -> rule3) triple5) -> rule8)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule6)) -> rule4) ((((triple5) -> rule3) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule6)) -> rule4) ((((triple5) -> rule3) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule6)) -> rule4) ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule6)) -> rule4) ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule6)) -> rule4) ((((((triple9) -> rule7)) -> rule3) triple5) -> rule6)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule6)) -> rule4) ((((((triple9) -> rule7)) -> rule3) triple5) -> rule8)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule8)) -> rule4) ((((triple5) -> rule3) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule8)) -> rule4) ((((triple5) -> rule3) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule8)) -> rule4) ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule8)) -> rule4) ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule8)) -> rule4) ((((((triple9) -> rule7)) -> rule3) triple5) -> rule6)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule8)) -> rule4) ((((((triple9) -> rule7)) -> rule3) triple5) -> rule8)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule6)) -> rule4) ((((((triple9) -> rule7)) -> rule3) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule6)) -> rule4) ((((((triple9) -> rule7)) -> rule3) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) ((((((triple9) -> rule7)) -> rule3) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule4) ((((((triple9) -> rule7)) -> rule3) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule6)) -> rule4) ((((((triple9) -> rule7)) -> rule3) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule6)) -> rule4) ((((((triple9) -> rule7)) -> rule3) ((triple9) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule8)) -> rule4) ((((((triple9) -> rule7)) -> rule3) ((triple9) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple8) -> rule5) triple5) -> rule8)) -> rule4) ((((((triple9) -> rule7)) -> rule3) ((triple9) -> rule7)) -> rule8)) -> rule1))] Harry is cold.[(triple11)] Harry is furry.[(triple12 OR ((triple11) -> rule2) OR ((triple13 ((triple14) -> rule7)) -> rule6) OR ((triple13 ((triple14) -> rule7)) -> rule8) OR ((((((triple14) -> rule7)) -> rule3) ((triple14) -> rule7)) -> rule6) OR ((((((triple14) -> rule7)) -> rule3) ((triple14) -> rule7)) -> rule8))] Harry is kind.[(triple13 OR ((((triple14) -> rule7)) -> rule3) OR ((((((triple12) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple11) -> rule2)) -> rule4)) -> rule7)) -> rule3))] Harry is rough.[(triple14 OR ((triple12) -> rule4) OR ((((triple11) -> rule2)) -> rule4))] Harry is round.[(triple15 OR ((triple14 triple12) -> rule1) OR ((triple14 ((triple11) -> rule2)) -> rule1) OR ((((triple12) -> rule4) triple12) -> rule1) OR ((((triple12) -> rule4) ((triple11) -> rule2)) -> rule1) OR ((triple14 ((triple13 ((triple14) -> rule7)) -> rule6)) -> rule1) OR ((triple14 ((triple13 ((triple14) -> rule7)) -> rule8)) -> rule1) OR ((((((triple11) -> rule2)) -> rule4) triple12) -> rule1) OR ((((triple12) -> rule4) ((triple13 ((triple14) -> rule7)) -> rule6)) -> rule1) OR ((((triple12) -> rule4) ((triple13 ((triple14) -> rule7)) -> rule8)) -> rule1) OR ((((((triple11) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule1) OR ((((((triple11) -> rule2)) -> rule4) ((triple13 ((triple14) -> rule7)) -> rule6)) -> rule1) OR ((((((triple11) -> rule2)) -> rule4) ((triple13 ((triple14) -> rule7)) -> rule8)) -> rule1) OR ((triple14 ((((((triple14) -> rule7)) -> rule3) ((triple14) -> rule7)) -> rule6)) -> rule1) OR ((triple14 ((((((triple14) -> rule7)) -> rule3) ((triple14) -> rule7)) -> rule8)) -> rule1) OR ((((triple12) -> rule4) ((((((triple14) -> rule7)) -> rule3) ((triple14) -> rule7)) -> rule6)) -> rule1) OR ((((triple12) -> rule4) ((((((triple14) -> rule7)) -> rule3) ((triple14) -> rule7)) -> rule8)) -> rule1) OR ((((((triple11) -> rule2)) -> rule4) ((((((triple14) -> rule7)) -> rule3) ((triple14) -> rule7)) -> rule6)) -> rule1) OR ((((((triple11) -> rule2)) -> rule4) ((((((triple14) -> rule7)) -> rule3) ((triple14) -> rule7)) -> rule8)) -> rule1))] @1: Anne is furry.[(((triple2) -> rule2) OR ((triple3 triple1) -> rule6) OR ((triple3 triple1) -> rule8) OR ((((triple1) -> rule3) triple1) -> rule6) OR ((((triple1) -> rule3) triple1) -> rule8))] Harry is big.[(((triple14) -> rule7) OR ((((triple12) -> rule4)) -> rule7) OR ((((((triple11) -> rule2)) -> rule4)) -> rule7))] @2: Anne is rough.[(((((triple2) -> rule2)) -> rule4) OR ((((triple3 triple1) -> rule6)) -> rule4) OR ((((triple3 triple1) -> rule8)) -> rule4) OR ((((((triple1) -> rule3) triple1) -> rule6)) -> rule4) OR ((((((triple1) -> rule3) triple1) -> rule8)) -> rule4))] @3: Anne is round.[(((((((triple2) -> rule2)) -> rule4) ((triple2) -> rule2)) -> rule1) OR ((((((triple2) -> rule2)) -> rule4) ((triple3 triple1) -> rule6)) -> rule1) OR ((((((triple2) -> rule2)) -> rule4) ((triple3 triple1) -> rule8)) -> rule1) OR ((((((triple3 triple1) -> rule6)) -> rule4) ((triple2) -> rule2)) -> rule1) OR ((((((triple3 triple1) -> rule6)) -> rule4) ((triple3 triple1) -> rule6)) -> rule1) OR ((((((triple3 triple1) -> rule6)) -> rule4) ((triple3 triple1) -> rule8)) -> rule1) OR ((((((triple3 triple1) -> rule8)) -> rule4) ((triple2) -> rule2)) -> rule1) OR ((((((triple3 triple1) -> rule8)) -> rule4) ((triple3 triple1) -> rule6)) -> rule1) OR ((((((triple3 triple1) -> rule8)) -> rule4) ((triple3 triple1) -> rule8)) -> rule1) OR ((((((triple2) -> rule2)) -> rule4) ((((triple1) -> rule3) triple1) -> rule6)) -> rule1) OR ((((((triple2) -> rule2)) -> rule4) ((((triple1) -> rule3) triple1) -> rule8)) -> rule1) OR ((((((triple3 triple1) -> rule6)) -> rule4) ((((triple1) -> rule3) triple1) -> rule6)) -> rule1) OR ((((((triple3 triple1) -> rule6)) -> rule4) ((((triple1) -> rule3) triple1) -> rule8)) -> rule1) OR ((((((triple3 triple1) -> rule8)) -> rule4) ((((triple1) -> rule3) triple1) -> rule6)) -> rule1) OR ((((((triple3 triple1) -> rule8)) -> rule4) ((((triple1) -> rule3) triple1) -> rule8)) -> rule1) OR ((((((((triple1) -> rule3) triple1) -> rule6)) -> rule4) ((triple2) -> rule2)) -> rule1) OR ((((((((triple1) -> rule3) triple1) -> rule6)) -> rule4) ((triple3 triple1) -> rule6)) -> rule1) OR ((((((((triple1) -> rule3) triple1) -> rule6)) -> rule4) ((triple3 triple1) -> rule8)) -> rule1) OR ((((((((triple1) -> rule3) triple1) -> rule8)) -> rule4) ((triple2) -> rule2)) -> rule1) OR ((((((((triple1) -> rule3) triple1) -> rule8)) -> rule4) ((triple3 triple1) -> rule6)) -> rule1) OR ((((((((triple1) -> rule3) triple1) -> rule8)) -> rule4) ((triple3 triple1) -> rule8)) -> rule1) OR ((((((((triple1) -> rule3) triple1) -> rule6)) -> rule4) ((((triple1) -> rule3) triple1) -> rule6)) -> rule1) OR ((((((((triple1) -> rule3) triple1) -> rule6)) -> rule4) ((((triple1) -> rule3) triple1) -> rule8)) -> rule1) OR ((((((((triple1) -> rule3) triple1) -> rule8)) -> rule4) ((((triple1) -> rule3) triple1) -> rule6)) -> rule1) OR ((((((((triple1) -> rule3) triple1) -> rule8)) -> rule4) ((((triple1) -> rule3) triple1) -> rule8)) -> rule1))]