Charlie is kind. Charlie is nice. Charlie is not rough. Fiona is young. Gary is blue. Gary is young. Harry is kind. If someone is big and kind then they are blue. All kind people are young. All rough people are green. Blue people are green. All nice, kind people are big. All green people are kind.
Fiona is green.
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Charlie is not rough.[(triple3)] Fiona is young.[(triple4)] Gary is blue.[(triple5)] Gary is young.[(triple6 OR ((((((triple5) -> rule4)) -> rule6)) -> rule2))] Harry is kind.[(triple7)] @1: Charlie is big.[(((triple2 triple1) -> rule5))] Charlie is young.[(((triple1) -> rule2))] Gary is green.[(((triple5) -> rule4))] Harry is young.[(((triple7) -> rule2))] @2: Charlie is blue.[(((((triple2 triple1) -> rule5) triple1) -> rule1))] Gary is kind.[(((((triple5) -> rule4)) -> rule6))] @3: Charlie is green.[(((((((triple2 triple1) -> rule5) triple1) -> rule1)) -> rule4))]