Anne is furry. Anne is kind. Charlie is kind. Gary is big. Gary is furry. Gary is rough. Gary is smart. Harry is big. Harry is blue. Harry is furry. Harry is kind. Harry is rough. Harry is smart. Harry is young. All young things are smart. If Gary is furry then Gary is big. Smart things are big. If Gary is big and Gary is young then Gary is kind. If something is furry then it is young. If something is big then it is rough. If something is kind and big then it is rough. Kind things are furry. If something is big and blue then it is furry.
Gary is young.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule8))] Anne is kind.[(triple2)] Charlie is kind.[(triple3)] Gary is big.[(triple4 OR ((triple5) -> rule2) OR ((triple7) -> rule3) OR ((((((triple5) -> rule5)) -> rule1)) -> rule3))] Gary is furry.[(triple5)] Gary is rough.[(triple6 OR ((triple4) -> rule6) OR ((((triple5) -> rule2)) -> rule6) OR ((((triple7) -> rule3)) -> rule6) OR ((((triple4 ((triple5) -> rule5)) -> rule4) triple4) -> rule7) OR ((((triple4 ((triple5) -> rule5)) -> rule4) ((triple5) -> rule2)) -> rule7) OR ((((triple4 ((triple5) -> rule5)) -> rule4) ((triple7) -> rule3)) -> rule7) OR ((((((triple5) -> rule2) ((triple5) -> rule5)) -> rule4) triple4) -> rule7) OR ((((((triple7) -> rule3) ((triple5) -> rule5)) -> rule4) triple4) -> rule7) OR ((((((triple5) -> rule2) ((triple5) -> rule5)) -> rule4) ((triple5) -> rule2)) -> rule7) OR ((((((triple5) -> rule2) ((triple5) -> rule5)) -> rule4) ((triple7) -> rule3)) -> rule7) OR ((((((triple7) -> rule3) ((triple5) -> rule5)) -> rule4) ((triple5) -> rule2)) -> rule7) OR ((((((triple7) -> rule3) ((triple5) -> rule5)) -> rule4) ((triple7) -> rule3)) -> rule7) OR ((((((((triple5) -> rule5)) -> rule1)) -> rule3)) -> rule6) OR ((((triple4 ((triple5) -> rule5)) -> rule4) ((((((triple5) -> rule5)) -> rule1)) -> rule3)) -> rule7) OR ((((((triple5) -> rule2) ((triple5) -> rule5)) -> rule4) ((((((triple5) -> rule5)) -> rule1)) -> rule3)) -> rule7) OR ((((((triple7) -> rule3) ((triple5) -> rule5)) -> rule4) ((((((triple5) -> rule5)) -> rule1)) -> rule3)) -> rule7) OR ((((((((((triple5) -> rule5)) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule4) triple4) -> rule7) OR ((((((((((triple5) -> rule5)) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule4) ((triple5) -> rule2)) -> rule7) OR ((((((((((triple5) -> rule5)) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule4) ((triple7) -> rule3)) -> rule7) OR ((((((((((triple5) -> rule5)) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule4) ((((((triple5) -> rule5)) -> rule1)) -> rule3)) -> rule7))] Gary is smart.[(triple7 OR ((((triple5) -> rule5)) -> rule1))] Harry is big.[(triple8 OR ((triple13) -> rule3) OR ((((triple14) -> rule1)) -> rule3) OR ((((((triple10) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple11) -> rule8)) -> rule5)) -> rule1)) -> rule3))] Harry is blue.[(triple9)] Harry is furry.[(triple10 OR ((triple11) -> rule8) OR ((triple8 triple9) -> rule9) OR ((((triple13) -> rule3) triple9) -> rule9) OR ((((((triple14) -> rule1)) -> rule3) triple9) -> rule9))] Harry is kind.[(triple11)] Harry is rough.[(triple12 OR ((triple8) -> rule6) OR ((triple11 triple8) -> rule7) OR ((((triple13) -> rule3)) -> rule6) OR ((triple11 ((triple13) -> rule3)) -> rule7) OR ((((((triple14) -> rule1)) -> rule3)) -> rule6) OR ((triple11 ((((triple14) -> rule1)) -> rule3)) -> rule7) OR ((((((((triple10) -> rule5)) -> rule1)) -> rule3)) -> rule6) OR ((triple11 ((((((triple10) -> rule5)) -> rule1)) -> rule3)) -> rule7) OR ((((((((((triple11) -> rule8)) -> rule5)) -> rule1)) -> rule3)) -> rule6) OR ((triple11 ((((((((triple11) -> rule8)) -> rule5)) -> rule1)) -> rule3)) -> rule7))] Harry is smart.[(triple13 OR ((triple14) -> rule1) OR ((((triple10) -> rule5)) -> rule1) OR ((((((triple11) -> rule8)) -> rule5)) -> rule1) OR ((((((triple8 triple9) -> rule9)) -> rule5)) -> rule1))] Harry is young.[(triple14 OR ((triple10) -> rule5) OR ((((triple11) -> rule8)) -> rule5) OR ((((triple8 triple9) -> rule9)) -> rule5) OR ((((((triple13) -> rule3) triple9) -> rule9)) -> rule5))] @1: Anne is young.[(((triple1) -> rule5) OR ((((triple2) -> rule8)) -> rule5))] Charlie is furry.[(((triple3) -> rule8))] Gary is young.[(((triple5) -> rule5))] @2: Anne is smart.[(((((triple1) -> rule5)) -> rule1) OR ((((((triple2) -> rule8)) -> rule5)) -> rule1))] Charlie is young.[(((((triple3) -> rule8)) -> rule5))] Gary is kind.[(((triple4 ((triple5) -> rule5)) -> rule4) OR ((((triple5) -> rule2) ((triple5) -> rule5)) -> rule4) OR ((((triple7) -> rule3) ((triple5) -> rule5)) -> rule4) OR ((((((((triple5) -> rule5)) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule4))] @3: Anne is big.[(((((((triple1) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple2) -> rule8)) -> rule5)) -> rule1)) -> rule3))] Charlie is smart.[(((((((triple3) -> rule8)) -> rule5)) -> rule1))] @4: Anne is rough.[(((((((((triple1) -> rule5)) -> rule1)) -> rule3)) -> rule6) OR ((triple2 ((((((triple1) -> rule5)) -> rule1)) -> rule3)) -> rule7) OR ((((((((((triple2) -> rule8)) -> rule5)) -> rule1)) -> rule3)) -> rule6) OR ((triple2 ((((((((triple2) -> rule8)) -> rule5)) -> rule1)) -> rule3)) -> rule7))] Charlie is big.[(((((((((triple3) -> rule8)) -> rule5)) -> rule1)) -> rule3))] @5: Charlie is rough.[(((((((((((triple3) -> rule8)) -> rule5)) -> rule1)) -> rule3)) -> rule6) OR ((triple3 ((((((((triple3) -> rule8)) -> rule5)) -> rule1)) -> rule3)) -> rule7))]