Fiona is blue. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is young. Gary is blue. Gary is cold. Gary is kind. Gary is quiet. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is smart. Harry is young. Young things are smart. All young, smart things are kind. If Fiona is cold then Fiona is smart.
Gary is not smart.
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple3 OR ((triple5 ((triple5) -> rule1)) -> rule2))] Fiona is quiet.[(triple4)] Fiona is young.[(triple5)] Gary is blue.[(triple6)] Gary is cold.[(triple7)] Gary is kind.[(triple8)] Gary is quiet.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is kind.[(triple13 OR ((triple15 triple14) -> rule2) OR ((triple15 ((triple15) -> rule1)) -> rule2))] Harry is smart.[(triple14 OR ((triple15) -> rule1))] Harry is young.[(triple15)] @1: Fiona is smart.[(((triple5) -> rule1))]