Gary is big. Gary is kind. Gary is nice. Gary is rough. Gary is round. Gary is smart. Gary is young. Harry is big. Harry is nice. Harry is smart. All nice, young people are rough. If Harry is rough and Harry is smart then Harry is round. If Gary is young and Gary is round then Gary is nice. If someone is young and round then they are nice. If someone is young then they are kind. All big, kind people are smart. If someone is rough and kind then they are smart. All round people are rough.
Harry is not rough.
@0: Gary is big.[(triple1)] Gary is kind.[(triple2 OR ((triple7) -> rule5))] Gary is nice.[(triple3 OR ((triple7 triple5) -> rule3) OR ((triple7 triple5) -> rule4))] Gary is rough.[(triple4 OR ((triple5) -> rule8) OR ((triple3 triple7) -> rule1) OR ((((triple7 triple5) -> rule3) triple7) -> rule1) OR ((((triple7 triple5) -> rule4) triple7) -> rule1))] Gary is round.[(triple5)] Gary is smart.[(triple6 OR ((triple1 triple2) -> rule6) OR ((triple4 triple2) -> rule7) OR ((triple1 ((triple7) -> rule5)) -> rule6) OR ((triple4 ((triple7) -> rule5)) -> rule7) OR ((((triple5) -> rule8) triple2) -> rule7) OR ((((triple3 triple7) -> rule1) triple2) -> rule7) OR ((((triple5) -> rule8) ((triple7) -> rule5)) -> rule7) OR ((((triple3 triple7) -> rule1) ((triple7) -> rule5)) -> rule7) OR ((((((triple7 triple5) -> rule3) triple7) -> rule1) triple2) -> rule7) OR ((((((triple7 triple5) -> rule4) triple7) -> rule1) triple2) -> rule7) OR ((((((triple7 triple5) -> rule3) triple7) -> rule1) ((triple7) -> rule5)) -> rule7) OR ((((((triple7 triple5) -> rule4) triple7) -> rule1) ((triple7) -> rule5)) -> rule7))] Gary is young.[(triple7)] Harry is big.[(triple8)] Harry is nice.[(triple9)] Harry is smart.[(triple10)]