Bob is blue. Bob is green. Bob is kind. Bob is quiet. Charlie is blue. Charlie is kind. Charlie is smart. If Bob is smart and Bob is blue then Bob is green. Kind, blue people are green. If Charlie is smart and Charlie is kind then Charlie is green. Smart people are blue. Green people are blue. If someone is kind and not green then they are not quiet. Blue people are nice. Quiet people are nice.
Charlie is quiet.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule5))] Bob is green.[(triple2 OR ((triple3 triple1) -> rule2))] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Charlie is blue.[(triple5 OR ((triple7) -> rule4) OR ((((triple7 triple6) -> rule3)) -> rule5))] Charlie is kind.[(triple6)] Charlie is smart.[(triple7)] @1: Bob is nice.[(((triple1) -> rule7) OR ((triple4) -> rule8) OR ((((triple2) -> rule5)) -> rule7))] Charlie is green.[(((triple6 triple5) -> rule2) OR ((triple7 triple6) -> rule3) OR ((triple6 ((triple7) -> rule4)) -> rule2))] Charlie is nice.[(((triple5) -> rule7) OR ((((triple7) -> rule4)) -> rule7) OR ((((((triple7 triple6) -> rule3)) -> rule5)) -> rule7))]