Bob is big. Bob is cold. Bob is white. Erin is quiet. Erin is white. Fiona is cold. Fiona is white. Quiet people are kind. If someone is big and cold then they are white. Kind, big people are cold. If Erin is big then Erin is white. Cold people are kind. All furry, quiet people are white.
Erin is not cold.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is white.[(triple3 OR ((triple1 triple2) -> rule2))] Erin is quiet.[(triple4)] Erin is white.[(triple5)] Fiona is cold.[(triple6)] Fiona is white.[(triple7)] @1: Bob is kind.[(((triple2) -> rule5))] Erin is kind.[(((triple4) -> rule1))] Fiona is kind.[(((triple6) -> rule5))]