Dave is big. Fiona is nice. Gary is young. If someone is nice and white then they are red. If someone is young then they are red. If someone is nice then they are young. If someone is red and smart then they are young. White people are nice. Red, nice people are white. If someone is red then they are young. If someone is young then they are red.
Dave is white.
@0: Dave is big.[(triple1)] Fiona is nice.[(triple2)] Gary is young.[(triple3)] @1: Fiona is young.[(((triple2) -> rule3))] Gary is red.[(((triple3) -> rule2) OR ((triple3) -> rule8))] @2: Fiona is red.[(((((triple2) -> rule3)) -> rule2) OR ((((triple2) -> rule3)) -> rule8))] @3: Fiona is white.[(((((((triple2) -> rule3)) -> rule2) triple2) -> rule6) OR ((((((triple2) -> rule3)) -> rule8) triple2) -> rule6))]