Anne is big. Anne is cold. Anne is quiet. Anne is red. Anne is white. Anne is young. Bob is big. Bob is cold. Bob is red. Bob is rough. Bob is white. Bob is young. White people are cold. If someone is young then they are white. If Bob is white and Bob is rough then Bob is red.
Anne is rough.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple5) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is white.[(triple5 OR ((triple6) -> rule2))] Anne is young.[(triple6)] Bob is big.[(triple7)] Bob is cold.[(triple8 OR ((triple11) -> rule1) OR ((((triple12) -> rule2)) -> rule1))] Bob is red.[(triple9 OR ((triple11 triple10) -> rule3) OR ((((triple12) -> rule2) triple10) -> rule3))] Bob is rough.[(triple10)] Bob is white.[(triple11 OR ((triple12) -> rule2))] Bob is young.[(triple12)]