Charlie is blue. Charlie is rough. Charlie is young. Erin is furry. Erin is kind. Erin is not rough. Fiona is furry. Fiona is kind. Fiona is young. Gary is rough. All round things are rough. If Fiona is rough then Fiona is young. If something is round and not rough then it is young. All young, kind things are blue. Round things are blue. All young things are not big. If something is furry and not young then it is big. If something is big then it is not kind.
Charlie is blue.
@0: Charlie is blue.[(triple1)] Charlie is rough.[(triple2)] Charlie is young.[(triple3)] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is not rough.[(triple6)] Fiona is furry.[(triple7)] Fiona is kind.[(triple8)] Fiona is young.[(triple9)] Gary is rough.[(triple10)] @1: Charlie is not big.[(((triple3) -> rule6))] Fiona is blue.[(((triple9 triple8) -> rule4))] Fiona is not big.[(((triple9) -> rule6))]