Bob is cold. Bob is quiet. Bob is white. Fiona is young. Gary is white. Gary is young. Harry is big. Harry is cold. Harry is kind. Harry is quiet. Harry is white. Harry is young. If something is white then it is kind. All big things are kind.
Harry is quiet.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Bob is white.[(triple3)] Fiona is young.[(triple4)] Gary is white.[(triple5)] Gary is young.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple8)] Harry is kind.[(triple9 OR ((triple11) -> rule1) OR ((triple7) -> rule2))] Harry is quiet.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Bob is kind.[(((triple3) -> rule1))] Gary is kind.[(((triple5) -> rule1))]