Bob is not kind. Bob is quiet. Bob is not round. Erin is big. Erin is blue. Erin is quiet. Erin is red. Erin is round. Gary is quiet. Gary is round. All round things are kind. If something is big then it is kind. If something is kind and not quiet then it is round. If something is quiet and not kind then it is blue. Kind things are blue. Round, blue things are not rough.
Gary is not blue.
@0: Bob is not kind.[(triple1)] Bob is not round.[(triple3)] Bob is quiet.[(triple2)] Erin is big.[(triple4)] Erin is blue.[(triple5 OR ((((triple4) -> rule2)) -> rule5) OR ((((triple8) -> rule1)) -> rule5))] Erin is quiet.[(triple6)] Erin is red.[(triple7)] Erin is round.[(triple8)] Gary is quiet.[(triple9)] Gary is round.[(triple10)] @1: Bob is blue.[(((triple2 triple1) -> rule4))] Erin is kind.[(((triple4) -> rule2) OR ((triple8) -> rule1))] Erin is not rough.[(((triple8 triple5) -> rule6) OR ((triple8 ((((triple4) -> rule2)) -> rule5)) -> rule6) OR ((triple8 ((((triple8) -> rule1)) -> rule5)) -> rule6))] Gary is kind.[(((triple10) -> rule1))] @2: Gary is blue.[(((((triple10) -> rule1)) -> rule5))] @3: Gary is not rough.[(((triple10 ((((triple10) -> rule1)) -> rule5)) -> rule6))]