Erin is green. Erin is nice. Erin is red. Fiona is big. Fiona is blue. Fiona is red. Fiona is smart. Gary is green. Gary is nice. Gary is red. Red people are big. All blue people are red.
Erin is big.
@0: Erin is green.[(triple1)] Erin is nice.[(triple2)] Erin is red.[(triple3)] Fiona is big.[(triple4 OR ((triple6) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] Fiona is blue.[(triple5)] Fiona is red.[(triple6 OR ((triple5) -> rule2))] Fiona is smart.[(triple7)] Gary is green.[(triple8)] Gary is nice.[(triple9)] Gary is red.[(triple10)] @1: Erin is big.[(((triple3) -> rule1))] Gary is big.[(((triple10) -> rule1))]