Erin is blue. Erin is nice. Erin is red. Erin is young. Fiona is big. Fiona is kind. Fiona is nice. Fiona is red. Gary is not nice. Gary is red. If someone is kind and young then they are not rough. If someone is big and not nice then they are not rough. If someone is red then they are young. If someone is kind and not blue then they are young. If Fiona is not big then Fiona is not rough. If Fiona is kind and Fiona is not blue then Fiona is rough.
Erin is big.
@0: Erin is blue.[(triple1)] Erin is nice.[(triple2)] Erin is red.[(triple3)] Erin is young.[(triple4 OR ((triple3) -> rule3))] Fiona is big.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is red.[(triple8)] Gary is not nice.[(triple9)] Gary is red.[(triple10)] @1: Fiona is young.[(((triple8) -> rule3))] Gary is young.[(((triple10) -> rule3))] @2: Fiona is not rough.[(((triple6 ((triple8) -> rule3)) -> rule1))]