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