Bob is big. Bob is cold. Bob is kind. Bob is rough. Bob is white. Fiona is big. Fiona is cold. Fiona is furry. Fiona is white. Fiona is young. Cold things are kind. All white, big things are young. Furry, rough things are big.
Bob is furry.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3 OR ((triple2) -> rule1))] Bob is rough.[(triple4)] Bob is white.[(triple5)] Fiona is big.[(triple6)] Fiona is cold.[(triple7)] Fiona is furry.[(triple8)] Fiona is white.[(triple9)] Fiona is young.[(triple10 OR ((triple9 triple6) -> rule2))] @1: Bob is young.[(((triple5 triple1) -> rule2))] Fiona is kind.[(((triple7) -> rule1))]