Bob is kind. Bob is nice. Charlie is blue. Charlie is red. Charlie is smart. Erin is blue. Erin is kind. Erin is red. Erin is smart. Gary is red. If something is kind then it is blue. If Erin is nice and Erin is big then Erin is kind. Smart, big things are red.
Erin is not smart.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Charlie is blue.[(triple3)] Charlie is red.[(triple4)] Charlie is smart.[(triple5)] Erin is blue.[(triple6 OR ((triple7) -> rule1))] Erin is kind.[(triple7)] Erin is red.[(triple8)] Erin is smart.[(triple9)] Gary is red.[(triple10)] @1: Bob is blue.[(((triple1) -> rule1))]