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