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