Bob is cold. Bob is furry. Bob is round. All cold things are not green. If something is nice and not cold then it is quiet. Cold, furry things are quiet. Red things are quiet. Quiet things are nice. All cold things are furry. If something is quiet then it is round. If something is furry and not green then it is round.
Bob is cold.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple1) -> rule6))] Bob is round.[(triple3 OR ((((triple1 triple2) -> rule3)) -> rule7) OR ((triple2 ((triple1) -> rule1)) -> rule8) OR ((((triple1) -> rule6) ((triple1) -> rule1)) -> rule8) OR ((((triple1 ((triple1) -> rule6)) -> rule3)) -> rule7))] @1: Bob is not green.[(((triple1) -> rule1))] Bob is quiet.[(((triple1 triple2) -> rule3) OR ((triple1 ((triple1) -> rule6)) -> rule3))] @2: Bob is nice.[(((((triple1 triple2) -> rule3)) -> rule5) OR ((((triple1 ((triple1) -> rule6)) -> rule3)) -> rule5))]