Bob is big. Bob is rough. Bob is white. Erin is big. Erin is furry. Erin is not round. Erin is white. Erin is young. Gary is cold. Gary is rough. If something is rough and not round then it is big. If something is cold and big then it is not young. If Gary is round then Gary is big. Big, white things are not cold. If something is round and white then it is cold. If Erin is furry then Erin is rough.
Erin is round.
@0: Bob is big.[(triple1)] Bob is rough.[(triple2)] Bob is white.[(triple3)] Erin is big.[(triple4 OR ((((triple5) -> rule6) triple6) -> rule1))] Erin is furry.[(triple5)] Erin is not round.[(triple6)] Erin is white.[(triple7)] Erin is young.[(triple8)] Gary is cold.[(triple9)] Gary is rough.[(triple10)] @1: Bob is not cold.[(((triple1 triple3) -> rule4))] Erin is not cold.[(((triple4 triple7) -> rule4) OR ((((((triple5) -> rule6) triple6) -> rule1) triple7) -> rule4))] Erin is rough.[(((triple5) -> rule6))]