Erin is big. Erin is blue. Erin is furry. Erin is kind. Gary is blue. Gary is cold. Gary is kind. Gary is red. Harry is big. Harry is cold. Harry is furry. Harry is quiet. If something is blue then it is big.
Erin is not quiet.
@0: Erin is big.[(triple1 OR ((triple2) -> rule1))] Erin is blue.[(triple2)] Erin is furry.[(triple3)] Erin is kind.[(triple4)] Gary is blue.[(triple5)] Gary is cold.[(triple6)] Gary is kind.[(triple7)] Gary is red.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is quiet.[(triple12)] @1: Gary is big.[(((triple5) -> rule1))]