Gary is big. Gary is blue. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Gary is round. Harry is big. Harry is green. Harry is kind. Harry is quiet. Harry is rough. If something is rough then it is green. If something is round and big then it is green. If something is big then it is green. All round, big things are green. If something is rough and not big then it is quiet. If Gary is rough and Gary is not quiet then Gary is green. All round things are kind. All green, blue things are kind.
Harry is not blue.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is green.[(triple3 OR ((triple1) -> rule3) OR ((triple6) -> rule1) OR ((triple7 triple1) -> rule2) OR ((triple7 triple1) -> rule4))] Gary is kind.[(triple4 OR ((triple7) -> rule7) OR ((triple3 triple2) -> rule8) OR ((((triple1) -> rule3) triple2) -> rule8) OR ((((triple6) -> rule1) triple2) -> rule8) OR ((((triple7 triple1) -> rule2) triple2) -> rule8) OR ((((triple7 triple1) -> rule4) triple2) -> rule8))] Gary is quiet.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7)] Harry is big.[(triple8)] Harry is green.[(triple9 OR ((triple12) -> rule1) OR ((triple8) -> rule3))] Harry is kind.[(triple10)] Harry is quiet.[(triple11)] Harry is rough.[(triple12)]