Anne is big. Anne is quiet. Anne is rough. Anne is round. Anne is young. Bob is big. Bob is rough. Bob is young. Charlie is big. Charlie is kind. Charlie is rough. Charlie is round. All big, round people are cold. Big people are cold. If someone is young then they are big.
Bob is quiet.
@0: Anne is big.[(triple1 OR ((triple5) -> rule3))] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is young.[(triple5)] Bob is big.[(triple6 OR ((triple8) -> rule3))] Bob is rough.[(triple7)] Bob is young.[(triple8)] Charlie is big.[(triple9)] Charlie is kind.[(triple10)] Charlie is rough.[(triple11)] Charlie is round.[(triple12)] @1: Anne is cold.[(((triple1) -> rule2) OR ((triple1 triple4) -> rule1) OR ((((triple5) -> rule3)) -> rule2) OR ((((triple5) -> rule3) triple4) -> rule1))] Bob is cold.[(((triple6) -> rule2) OR ((((triple8) -> rule3)) -> rule2))] Charlie is cold.[(((triple9) -> rule2) OR ((triple9 triple12) -> rule1))]