Anne is big. Anne is furry. Anne is kind. Anne is young. Charlie is furry. Charlie is red. Charlie is smart. If Anne is round and Anne is furry then Anne is smart. If something is smart then it is red. All round, smart things are big. All smart, furry things are round. All kind things are round. If Anne is round and Anne is red then Anne is smart.
Charlie is not kind.
@0: Anne is big.[(triple1 OR ((((triple3) -> rule5) ((((triple3) -> rule5) triple2) -> rule1)) -> rule3))] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is young.[(triple4)] Charlie is furry.[(triple5)] Charlie is red.[(triple6 OR ((triple7) -> rule2))] Charlie is smart.[(triple7)] @1: Anne is round.[(((triple3) -> rule5))] Charlie is round.[(((triple7 triple5) -> rule4))] @2: Anne is smart.[(((((triple3) -> rule5) triple2) -> rule1))] Charlie is big.[(((((triple7 triple5) -> rule4) triple7) -> rule3))] @3: Anne is red.[(((((((triple3) -> rule5) triple2) -> rule1)) -> rule2))]