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