Bob is not green. Bob is quiet. Bob is round. All quiet people are big. Green people are quiet. All round people are not green. If Bob is red and Bob is green then Bob is white. Round, green people are not red. If someone is white and not green then they are red. If someone is big and not green then they are white. If someone is big then they are white.
Bob is quiet.
@0: Bob is not green.[(triple1 OR ((triple3) -> rule3))] Bob is quiet.[(triple2)] Bob is round.[(triple3)] @1: Bob is big.[(((triple2) -> rule1))] @2: Bob is white.[(((((triple2) -> rule1)) -> rule8) OR ((((triple2) -> rule1) triple1) -> rule7) OR ((((triple2) -> rule1) ((triple3) -> rule3)) -> rule7))] @3: Bob is red.[(((((((triple2) -> rule1)) -> rule8) triple1) -> rule6) OR ((((((triple2) -> rule1) triple1) -> rule7) triple1) -> rule6) OR ((((((triple2) -> rule1)) -> rule8) ((triple3) -> rule3)) -> rule6) OR ((((((triple2) -> rule1) triple1) -> rule7) ((triple3) -> rule3)) -> rule6) OR ((((((triple2) -> rule1) ((triple3) -> rule3)) -> rule7) triple1) -> rule6) OR ((((((triple2) -> rule1) ((triple3) -> rule3)) -> rule7) ((triple3) -> rule3)) -> rule6))]