Bob is blue. Bob is white. Bob is young. Dave is blue. Erin is big. Erin is blue. Erin is white. Harry is not blue. Harry is nice. Harry is young. If something is kind and not nice then it is not blue. If Bob is quiet and Bob is blue then Bob is not young. If something is young then it is white. If Bob is young and Bob is not nice then Bob is not kind. If something is blue and not big then it is kind. If something is blue and big then it is not kind.
Dave is big.
@0: Bob is blue.[(triple1)] Bob is white.[(triple2 OR ((triple3) -> rule3))] Bob is young.[(triple3)] Dave is blue.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6)] Erin is white.[(triple7)] Harry is nice.[(triple9)] Harry is not blue.[(triple8)] Harry is young.[(triple10)] @1: Erin is not kind.[(((triple6 triple5) -> rule6))] Harry is white.[(((triple10) -> rule3))]