Charlie is big. Charlie is blue. Charlie is quiet. Charlie is red. Charlie is young. Erin is big. Erin is quiet. Erin is red. Erin is rough. Erin is young. Fiona is blue. Fiona is rough. Gary is big. Gary is blue. Gary is kind. Gary is rough. Kind, quiet things are young. If Gary is red then Gary is big. If something is rough and red then it is quiet. Kind things are red. All blue things are big. All big, blue things are red. Blue, kind things are young. Blue, kind things are young.
Fiona is not young.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule5))] Charlie is blue.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4 OR ((triple1 triple2) -> rule6) OR ((((triple2) -> rule5) triple2) -> rule6))] Charlie is young.[(triple5)] Erin is big.[(triple6)] Erin is quiet.[(triple7 OR ((triple9 triple8) -> rule3))] Erin is red.[(triple8)] Erin is rough.[(triple9)] Erin is young.[(triple10)] Fiona is blue.[(triple11)] Fiona is rough.[(triple12)] Gary is big.[(triple13 OR ((triple14) -> rule5) OR ((((triple15) -> rule4)) -> rule2))] Gary is blue.[(triple14)] Gary is kind.[(triple15)] Gary is rough.[(triple16)] @1: Fiona is big.[(((triple11) -> rule5))] Gary is red.[(((triple15) -> rule4) OR ((triple13 triple14) -> rule6) OR ((((triple14) -> rule5) triple14) -> rule6))] Gary is young.[(((triple14 triple15) -> rule7) OR ((triple14 triple15) -> rule8) OR ((triple15 ((triple16 ((triple15) -> rule4)) -> rule3)) -> rule1) OR ((triple15 ((triple16 ((triple13 triple14) -> rule6)) -> rule3)) -> rule1) OR ((triple15 ((triple16 ((((triple14) -> rule5) triple14) -> rule6)) -> rule3)) -> rule1))] @2: Fiona is red.[(((((triple11) -> rule5) triple11) -> rule6))] Gary is quiet.[(((triple16 ((triple15) -> rule4)) -> rule3) OR ((triple16 ((triple13 triple14) -> rule6)) -> rule3) OR ((triple16 ((((triple14) -> rule5) triple14) -> rule6)) -> rule3))] @3: Fiona is quiet.[(((triple12 ((((triple11) -> rule5) triple11) -> rule6)) -> rule3))]