Bob is round. If someone is furry then they are red. If someone is furry then they are round. Round people are furry. Red, furry people are green. If someone is smart and not furry then they are green. All green, furry people are blue. If someone is blue then they are big. If Bob is blue then Bob is not smart.
Bob is round.
@0: Bob is round.[(triple1)] @1: Bob is furry.[(((triple1) -> rule3))] @2: Bob is red.[(((((triple1) -> rule3)) -> rule1))] @3: Bob is green.[(((((((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule4))] @4: Bob is blue.[(((((((((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule6))] @5: Bob is big.[(((((((((((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule6)) -> rule7))] Bob is not smart.[(((((((((((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule6)) -> rule8))]