Anne is cold. Bob is nice. Fiona is big. Fiona is round. Harry is big. Harry is nice. Harry is smart. All smart people are round. If Anne is kind then Anne is big. All smart, big people are furry. All nice people are kind. Kind, round people are big. If someone is kind then they are smart.
Harry is not round.
@0: Anne is cold.[(triple1)] Bob is nice.[(triple2)] Fiona is big.[(triple3)] Fiona is round.[(triple4)] Harry is big.[(triple5 OR ((((triple6) -> rule4) ((triple7) -> rule1)) -> rule5) OR ((((triple6) -> rule4) ((((((triple6) -> rule4)) -> rule6)) -> rule1)) -> rule5))] Harry is nice.[(triple6)] Harry is smart.[(triple7 OR ((((triple6) -> rule4)) -> rule6))] @1: Bob is kind.[(((triple2) -> rule4))] Harry is furry.[(((triple7 triple5) -> rule3) OR ((((((triple6) -> rule4)) -> rule6) triple5) -> rule3) OR ((triple7 ((((triple6) -> rule4) ((triple7) -> rule1)) -> rule5)) -> rule3) OR ((((((triple6) -> rule4)) -> rule6) ((((triple6) -> rule4) ((triple7) -> rule1)) -> rule5)) -> rule3) OR ((triple7 ((((triple6) -> rule4) ((((((triple6) -> rule4)) -> rule6)) -> rule1)) -> rule5)) -> rule3) OR ((((((triple6) -> rule4)) -> rule6) ((((triple6) -> rule4) ((((((triple6) -> rule4)) -> rule6)) -> rule1)) -> rule5)) -> rule3))] Harry is kind.[(((triple6) -> rule4))] Harry is round.[(((triple7) -> rule1) OR ((((((triple6) -> rule4)) -> rule6)) -> rule1))] @2: Bob is smart.[(((((triple2) -> rule4)) -> rule6))] @3: Bob is round.[(((((((triple2) -> rule4)) -> rule6)) -> rule1))] @4: Bob is big.[(((((triple2) -> rule4) ((((((triple2) -> rule4)) -> rule6)) -> rule1)) -> rule5))] @5: Bob is furry.[(((((((triple2) -> rule4)) -> rule6) ((((triple2) -> rule4) ((((((triple2) -> rule4)) -> rule6)) -> rule1)) -> rule5)) -> rule3))]