Bob is big. Bob is cold. Bob is kind. Bob is quiet. Erin is rough. Fiona is furry. Fiona is kind. Big people are rough. If someone is cold and big then they are kind.
Erin is young.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3 OR ((triple2 triple1) -> rule2))] Bob is quiet.[(triple4)] Erin is rough.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7)] @1: Bob is rough.[(((triple1) -> rule1))]