Fiona is nice. Gary is not cold. Harry is quiet. If Harry is quiet then Harry is not young. If Fiona is kind then Fiona is cold. All big people are not green. All big, nice people are not green. If someone is big and quiet then they are cold. If someone is nice then they are kind. All cold, nice people are big. All nice, kind people are young.
Gary is cold.
@0: Fiona is nice.[(triple1)] Gary is not cold.[(triple2)] Harry is quiet.[(triple3)] @1: Fiona is kind.[(((triple1) -> rule6))] Harry is not young.[(((triple3) -> rule1))] @2: Fiona is cold.[(((((triple1) -> rule6)) -> rule2))] Fiona is young.[(((triple1 ((triple1) -> rule6)) -> rule8))] @3: Fiona is big.[(((((((triple1) -> rule6)) -> rule2) triple1) -> rule7))] @4: Fiona is not green.[(((((((((triple1) -> rule6)) -> rule2) triple1) -> rule7)) -> rule3) OR ((((((((triple1) -> rule6)) -> rule2) triple1) -> rule7) triple1) -> rule4))]