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