Bob is big. Bob is blue. Bob is red. Charlie is blue. Charlie is furry. Charlie is red. Charlie is not round. All red, furry people are not round. Smart people are round. Big people are smart. Round, blue people are not furry. If someone is round and smart then they are not furry. If someone is blue and not round then they are young. All furry, blue people are young. If someone is smart then they are young.
Bob is furry.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is red.[(triple3)] Charlie is blue.[(triple4)] Charlie is furry.[(triple5)] Charlie is not round.[(triple7 OR ((triple6 triple5) -> rule1))] Charlie is red.[(triple6)] @1: Bob is smart.[(((triple1) -> rule3))] Charlie is young.[(((triple4 triple7) -> rule6) OR ((triple5 triple4) -> rule7) OR ((triple4 ((triple6 triple5) -> rule1)) -> rule6))] @2: Bob is round.[(((((triple1) -> rule3)) -> rule2))] Bob is young.[(((((triple1) -> rule3)) -> rule8))] @3: Bob is not furry.[(((((((triple1) -> rule3)) -> rule2) triple2) -> rule4) OR ((((((triple1) -> rule3)) -> rule2) ((triple1) -> rule3)) -> rule5))]