Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is rough. Gary is round. Gary is smart. Smart, round people are rough. All furry people are rough. If Gary is green and Gary is cold then Gary is smart. All green, smart people are cold. If someone is smart then they are cold. Smart, round people are green. All cold, round people are rough. If someone is furry and rough then they are big.
Gary is furry.
@0: Gary is big.[(triple1 OR ((triple3 triple5) -> rule8) OR ((triple3 ((triple3) -> rule2)) -> rule8) OR ((triple3 ((triple2 triple6) -> rule7)) -> rule8) OR ((triple3 ((triple7 triple6) -> rule1)) -> rule8) OR ((triple3 ((((triple7) -> rule5) triple6) -> rule7)) -> rule8) OR ((triple3 ((((triple4 triple2) -> rule3) triple6) -> rule1)) -> rule8) OR ((triple3 ((((triple4 triple7) -> rule4) triple6) -> rule7)) -> rule8) OR ((triple3 ((((((triple7 triple6) -> rule6) triple7) -> rule4) triple6) -> rule7)) -> rule8))] Gary is cold.[(triple2 OR ((triple7) -> rule5) OR ((triple4 triple7) -> rule4) OR ((((triple7 triple6) -> rule6) triple7) -> rule4))] Gary is furry.[(triple3)] Gary is green.[(triple4 OR ((triple7 triple6) -> rule6))] Gary is rough.[(triple5 OR ((triple3) -> rule2) OR ((triple2 triple6) -> rule7) OR ((triple7 triple6) -> rule1) OR ((((triple7) -> rule5) triple6) -> rule7) OR ((((triple4 triple2) -> rule3) triple6) -> rule1) OR ((((triple4 triple7) -> rule4) triple6) -> rule7) OR ((((((triple7 triple6) -> rule6) triple7) -> rule4) triple6) -> rule7))] Gary is round.[(triple6)] Gary is smart.[(triple7 OR ((triple4 triple2) -> rule3))]