Anne is nice. Anne is smart. Bob is kind. Bob is smart. Bob is young. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is smart. Charlie is young. Blue people are nice. All young, quiet people are nice. Quiet people are blue. All kind, nice people are quiet. If someone is kind then they are nice. If someone is quiet then they are smart. Kind people are young. If someone is young and quiet then they are nice.
Bob is nice.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Bob is kind.[(triple3)] Bob is smart.[(triple4 OR ((((triple3 ((triple3) -> rule5)) -> rule4)) -> rule6))] Bob is young.[(triple5 OR ((triple3) -> rule7))] Charlie is blue.[(triple6 OR ((triple10) -> rule3) OR ((((triple8 triple9) -> rule4)) -> rule3) OR ((((triple8 ((triple8) -> rule5)) -> rule4)) -> rule3))] Charlie is cold.[(triple7)] Charlie is kind.[(triple8)] Charlie is nice.[(triple9 OR ((triple6) -> rule1) OR ((triple8) -> rule5) OR ((triple12 triple10) -> rule2) OR ((triple12 triple10) -> rule8) OR ((((triple10) -> rule3)) -> rule1) OR ((((triple8) -> rule7) triple10) -> rule2) OR ((((triple8) -> rule7) triple10) -> rule8))] Charlie is quiet.[(triple10 OR ((triple8 triple9) -> rule4) OR ((triple8 ((triple6) -> rule1)) -> rule4) OR ((triple8 ((triple8) -> rule5)) -> rule4))] Charlie is smart.[(triple11 OR ((triple10) -> rule6) OR ((((triple8 triple9) -> rule4)) -> rule6) OR ((((triple8 ((triple6) -> rule1)) -> rule4)) -> rule6) OR ((((triple8 ((triple8) -> rule5)) -> rule4)) -> rule6))] Charlie is young.[(triple12 OR ((triple8) -> rule7))] @1: Bob is nice.[(((triple3) -> rule5))] @2: Bob is quiet.[(((triple3 ((triple3) -> rule5)) -> rule4))] @3: Bob is blue.[(((((triple3 ((triple3) -> rule5)) -> rule4)) -> rule3))]