Anne is big. Anne is cold. Anne is nice. Anne is round. Anne is young. Dave is cold. Dave is nice. Erin is cold. Erin is furry. Erin is round. Erin is white. Erin is young. Gary is furry. Gary is nice. Gary is young. Round things are nice. If something is furry and nice then it is big.
Erin is cold.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3 OR ((triple4) -> rule1))] Anne is round.[(triple4)] Anne is young.[(triple5)] Dave is cold.[(triple6)] Dave is nice.[(triple7)] Erin is cold.[(triple8)] Erin is furry.[(triple9)] Erin is round.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12)] Gary is furry.[(triple13)] Gary is nice.[(triple14)] Gary is young.[(triple15)] @1: Erin is nice.[(((triple10) -> rule1))] Gary is big.[(((triple13 triple14) -> rule2))] @2: Erin is big.[(((triple9 ((triple10) -> rule1)) -> rule2))]