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