Charlie is big. Charlie is nice. Charlie is round. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is round. Gary is big. Gary is green. Harry is kind. Harry is round. Harry is young. Cold, green people are big. Big, kind people are green. If Charlie is green and Charlie is young then Charlie is nice. If someone is round and cold then they are green. If someone is round and kind then they are green. If someone is big and cold then they are round.
Harry is not big.
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple2)] Charlie is round.[(triple3)] Fiona is cold.[(triple4)] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Fiona is round.[(triple7)] Gary is big.[(triple8)] Gary is green.[(triple9)] Harry is kind.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12)] @1: Fiona is green.[(((triple7 triple4) -> rule4) OR ((triple7 triple5) -> rule5))] Harry is green.[(((triple11 triple10) -> rule5))] @2: Fiona is big.[(((triple4 ((triple7 triple4) -> rule4)) -> rule1) OR ((triple4 ((triple7 triple5) -> rule5)) -> rule1))]