Erin is big. Erin is blue. Erin is cold. Erin is nice. Erin is quiet. Gary is big. Gary is cold. Gary is furry. Gary is nice. Gary is young. Harry is big. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is young. Cold, big things are young. If something is big and blue then it is quiet. If something is blue and young then it is big. If something is blue then it is nice. If Erin is furry then Erin is cold. If something is cold and quiet then it is nice.
Gary is not quiet.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is nice.[(triple4 OR ((triple2) -> rule4) OR ((triple3 triple5) -> rule6) OR ((triple3 ((triple1 triple2) -> rule2)) -> rule6))] Erin is quiet.[(triple5 OR ((triple1 triple2) -> rule2))] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is nice.[(triple9)] Gary is young.[(triple10 OR ((triple7 triple6) -> rule1))] Harry is big.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is nice.[(triple14 OR ((triple12 triple15) -> rule6))] Harry is quiet.[(triple15)] Harry is young.[(triple16 OR ((triple12 triple11) -> rule1))] @1: Erin is young.[(((triple3 triple1) -> rule1))]