Bob is blue. Bob is green. Bob is quiet. Erin is blue. Erin is cold. Erin is kind. Erin is not quiet. Erin is smart. Gary is cold. Gary is smart. All quiet things are kind. Smart things are kind. If Erin is cold and Erin is smart then Erin is blue. If something is quiet and not cold then it is smart. If Gary is not smart then Gary is kind. If something is kind then it is blue. If something is kind then it is blue. If Gary is blue and Gary is big then Gary is green.
Erin is green.
@0: Bob is blue.[(triple1 OR ((((triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule1)) -> rule7))] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Erin is blue.[(triple4 OR ((triple6) -> rule6) OR ((triple6) -> rule7) OR ((triple5 triple8) -> rule3) OR ((((triple8) -> rule2)) -> rule6) OR ((((triple8) -> rule2)) -> rule7))] Erin is cold.[(triple5)] Erin is kind.[(triple6 OR ((triple8) -> rule2))] Erin is not quiet.[(triple7)] Erin is smart.[(triple8)] Gary is cold.[(triple9)] Gary is smart.[(triple10)] @1: Bob is kind.[(((triple3) -> rule1))] Gary is kind.[(((triple10) -> rule2))] @2: Gary is blue.[(((((triple10) -> rule2)) -> rule6) OR ((((triple10) -> rule2)) -> rule7))]