Erin is blue. Erin is green. Erin is red. Erin is young. Fiona is big. Fiona is blue. Fiona is furry. Fiona is green. Fiona is red. Fiona is round. Fiona is young. Gary is big. Gary is furry. Gary is green. Gary is round. Gary is young. Big things are blue. All blue things are red.
Erin is furry.
@0: Erin is blue.[(triple1)] Erin is green.[(triple2)] Erin is red.[(triple3 OR ((triple1) -> rule2))] Erin is young.[(triple4)] Fiona is big.[(triple5)] Fiona is blue.[(triple6 OR ((triple5) -> rule1))] Fiona is furry.[(triple7)] Fiona is green.[(triple8)] Fiona is red.[(triple9 OR ((triple6) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] Fiona is round.[(triple10)] Fiona is young.[(triple11)] Gary is big.[(triple12)] Gary is furry.[(triple13)] Gary is green.[(triple14)] Gary is round.[(triple15)] Gary is young.[(triple16)] @1: Gary is blue.[(((triple12) -> rule1))] @2: Gary is red.[(((((triple12) -> rule1)) -> rule2))]