Anne is big. Anne is furry. Anne is nice. Anne is rough. Anne is round. Bob is furry. Bob is nice. Bob is rough. Bob is round. Fiona is big. Fiona is furry. Fiona is rough. If something is rough then it is big. Rough, nice things are cold.
Bob is kind.
@0: Anne is big.[(triple1 OR ((triple4) -> rule1))] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Bob is furry.[(triple6)] Bob is nice.[(triple7)] Bob is rough.[(triple8)] Bob is round.[(triple9)] Fiona is big.[(triple10 OR ((triple12) -> rule1))] Fiona is furry.[(triple11)] Fiona is rough.[(triple12)] @1: Anne is cold.[(((triple4 triple3) -> rule2))] Bob is big.[(((triple8) -> rule1))] Bob is cold.[(((triple8 triple7) -> rule2))]