Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is young. Bob is big. Bob is blue. Bob is kind. Bob is nice. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is young. Cold things are kind. Furry things are blue. All kind, furry things are blue.
Charlie is not big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple4) -> rule2) OR ((triple5 triple4) -> rule3) OR ((((triple3) -> rule1) triple4) -> rule3))] Anne is cold.[(triple3)] Anne is furry.[(triple4)] Anne is kind.[(triple5 OR ((triple3) -> rule1))] Anne is young.[(triple6)] Bob is big.[(triple7)] Bob is blue.[(triple8)] Bob is kind.[(triple9)] Bob is nice.[(triple10)] Charlie is cold.[(triple11)] Charlie is furry.[(triple12)] Charlie is kind.[(triple13 OR ((triple11) -> rule1))] Charlie is nice.[(triple14)] Charlie is young.[(triple15)] @1: Charlie is blue.[(((triple12) -> rule2) OR ((triple13 triple12) -> rule3) OR ((((triple11) -> rule1) triple12) -> rule3))]