Bob is blue. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is smart. Erin is nice. Gary is blue. Gary is green. Gary is kind. Gary is nice. Gary is smart. Nice, smart people are kind. All nice people are blue. All blue people are kind.
Bob is rough.
@0: Bob is blue.[(triple1 OR ((triple4) -> rule2))] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple1) -> rule3) OR ((triple4 triple6) -> rule1) OR ((((triple4) -> rule2)) -> rule3))] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is smart.[(triple6)] Erin is nice.[(triple7)] Gary is blue.[(triple8 OR ((triple11) -> rule2))] Gary is green.[(triple9)] Gary is kind.[(triple10 OR ((triple8) -> rule3) OR ((triple11 triple12) -> rule1) OR ((((triple11) -> rule2)) -> rule3))] Gary is nice.[(triple11)] Gary is smart.[(triple12)] @1: Erin is blue.[(((triple7) -> rule2))] @2: Erin is kind.[(((((triple7) -> rule2)) -> rule3))]