Bob is blue. Bob is furry. Bob is kind. Bob is white. Erin is furry. Erin is kind. Erin is red. Erin is young. Gary is furry. Gary is nice. Gary is red. Gary is white. Gary is young. Harry is kind. Harry is nice. Kind people are white. All young, blue people are kind. If someone is kind then they are blue. All kind people are nice. If Erin is red then Erin is nice. If Gary is kind and Gary is blue then Gary is young.
Bob is blue.
@0: Bob is blue.[(triple1 OR ((triple3) -> rule3))] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is white.[(triple4 OR ((triple3) -> rule1))] Erin is furry.[(triple5)] Erin is kind.[(triple6)] Erin is red.[(triple7)] Erin is young.[(triple8)] Gary is furry.[(triple9)] Gary is nice.[(triple10)] Gary is red.[(triple11)] Gary is white.[(triple12)] Gary is young.[(triple13)] Harry is kind.[(triple14)] Harry is nice.[(triple15 OR ((triple14) -> rule4))] @1: Bob is nice.[(((triple3) -> rule4))] Erin is blue.[(((triple6) -> rule3))] Erin is nice.[(((triple6) -> rule4) OR ((triple7) -> rule5))] Erin is white.[(((triple6) -> rule1))] Harry is blue.[(((triple14) -> rule3))] Harry is white.[(((triple14) -> rule1))]