Charlie is blue. Fiona is big. Fiona is blue. Gary is big. Gary is nice. Gary is quiet. Gary is rough. Quiet people are nice. Nice, young people are blue. If Fiona is young then Fiona is rough. All quiet people are blue. Blue people are quiet. If Fiona is young and Fiona is rough then Fiona is red. If someone is big then they are red. If someone is quiet and blue then they are big.
Gary is not young.
@0: Charlie is blue.[(triple1)] Fiona is big.[(triple2 OR ((((triple3) -> rule5) triple3) -> rule8))] Fiona is blue.[(triple3)] Gary is big.[(triple4 OR ((triple6 ((triple6) -> rule4)) -> rule8))] Gary is nice.[(triple5 OR ((triple6) -> rule1))] Gary is quiet.[(triple6)] Gary is rough.[(triple7)] @1: Charlie is quiet.[(((triple1) -> rule5))] Fiona is quiet.[(((triple3) -> rule5))] Fiona is red.[(((triple2) -> rule7) OR ((((((triple3) -> rule5) triple3) -> rule8)) -> rule7))] Gary is blue.[(((triple6) -> rule4))] Gary is red.[(((triple4) -> rule7) OR ((((triple6 ((triple6) -> rule4)) -> rule8)) -> rule7))] @2: Charlie is big.[(((((triple1) -> rule5) triple1) -> rule8))] Charlie is nice.[(((((triple1) -> rule5)) -> rule1))] Fiona is nice.[(((((triple3) -> rule5)) -> rule1))] @3: Charlie is red.[(((((((triple1) -> rule5) triple1) -> rule8)) -> rule7))]