Bob is kind. Bob is red. Bob is young. Quiet, young people are kind. Quiet, kind people are white. Green, white people are kind. Young people are quiet. All red, green people are quiet. If someone is quiet and young then they are red. Kind, young people are furry. If Bob is red then Bob is white.
Bob is not young.
@0: Bob is kind.[(triple1 OR ((((triple3) -> rule4) triple3) -> rule1))] Bob is red.[(triple2 OR ((((triple3) -> rule4) triple3) -> rule6))] Bob is young.[(triple3)] @1: Bob is furry.[(((triple1 triple3) -> rule7) OR ((((((triple3) -> rule4) triple3) -> rule1) triple3) -> rule7))] Bob is quiet.[(((triple3) -> rule4))] Bob is white.[(((triple2) -> rule8) OR ((((triple3) -> rule4) triple1) -> rule2) OR ((((((triple3) -> rule4) triple3) -> rule6)) -> rule8) OR ((((triple3) -> rule4) ((((triple3) -> rule4) triple3) -> rule1)) -> rule2))]