Gary is big. Gary is quiet. Gary is rough. If Gary is round then Gary is quiet. If someone is smart then they are round. Kind, young people are rough. If Gary is big then Gary is rough. All big people are smart. If someone is young then they are kind. If someone is rough and big then they are quiet. If Gary is big and Gary is smart then Gary is young.
Gary is smart.
@0: Gary is big.[(triple1)] Gary is quiet.[(triple2 OR ((triple3 triple1) -> rule7) OR ((((triple1) -> rule4) triple1) -> rule7) OR ((((((triple1) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple1 ((triple1) -> rule5)) -> rule8)) -> rule6) ((triple1 ((triple1) -> rule5)) -> rule8)) -> rule3) triple1) -> rule7))] Gary is rough.[(triple3 OR ((triple1) -> rule4) OR ((((((triple1 ((triple1) -> rule5)) -> rule8)) -> rule6) ((triple1 ((triple1) -> rule5)) -> rule8)) -> rule3))] @1: Gary is smart.[(((triple1) -> rule5))] @2: Gary is round.[(((((triple1) -> rule5)) -> rule2))] Gary is young.[(((triple1 ((triple1) -> rule5)) -> rule8))] @3: Gary is kind.[(((((triple1 ((triple1) -> rule5)) -> rule8)) -> rule6))]