Charlie is big. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is young. Fiona is big. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is young. Gary is nice. If someone is rough and kind then they are young. All young people are rough. Rough people are kind. All young, big people are quiet. If someone is kind then they are young. Round, kind people are rough.
Gary is not nice.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2 OR ((triple4) -> rule3) OR ((((triple5) -> rule2)) -> rule3))] Charlie is quiet.[(triple3 OR ((triple5 triple1) -> rule4) OR ((((triple2) -> rule5) triple1) -> rule4) OR ((((triple4 triple2) -> rule1) triple1) -> rule4) OR ((((((triple4) -> rule3)) -> rule5) triple1) -> rule4) OR ((((triple4 ((triple4) -> rule3)) -> rule1) triple1) -> rule4))] Charlie is rough.[(triple4 OR ((triple5) -> rule2) OR ((((triple2) -> rule5)) -> rule2))] Charlie is young.[(triple5 OR ((triple2) -> rule5) OR ((triple4 triple2) -> rule1) OR ((((triple4) -> rule3)) -> rule5) OR ((triple4 ((triple4) -> rule3)) -> rule1))] Fiona is big.[(triple6)] Fiona is nice.[(triple7)] Fiona is quiet.[(triple8 OR ((triple11 triple6) -> rule4) OR ((((((triple9) -> rule3)) -> rule5) triple6) -> rule4) OR ((((triple9 ((triple9) -> rule3)) -> rule1) triple6) -> rule4))] Fiona is rough.[(triple9 OR ((triple11) -> rule2))] Fiona is round.[(triple10)] Fiona is young.[(triple11 OR ((((triple9) -> rule3)) -> rule5) OR ((triple9 ((triple9) -> rule3)) -> rule1))] Gary is nice.[(triple12)] @1: Fiona is kind.[(((triple9) -> rule3) OR ((((triple11) -> rule2)) -> rule3))]