Gary is furry. Gary is green. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is white. If Gary is rough then Gary is green. White things are rough. All red things are round. If something is red and furry then it is green. If something is rough then it is white. All rough things are red. If Gary is round and Gary is furry then Gary is rough. If Gary is red and Gary is furry then Gary is round.
Gary is red.
@0: Gary is furry.[(triple1)] Gary is green.[(triple2 OR ((triple5) -> rule1) OR ((triple4 triple1) -> rule4) OR ((((triple7) -> rule2)) -> rule1) OR ((((triple6 triple1) -> rule7)) -> rule1) OR ((((triple5) -> rule6) triple1) -> rule4) OR ((((((triple4) -> rule3) triple1) -> rule7)) -> rule1) OR ((((((triple4 triple1) -> rule8) triple1) -> rule7)) -> rule1) OR ((((((triple7) -> rule2)) -> rule6) triple1) -> rule4) OR ((((((triple6 triple1) -> rule7)) -> rule6) triple1) -> rule4))] Gary is quiet.[(triple3)] Gary is red.[(triple4 OR ((triple5) -> rule6) OR ((((triple7) -> rule2)) -> rule6) OR ((((triple6 triple1) -> rule7)) -> rule6))] Gary is rough.[(triple5 OR ((triple7) -> rule2) OR ((triple6 triple1) -> rule7) OR ((((triple4) -> rule3) triple1) -> rule7) OR ((((triple4 triple1) -> rule8) triple1) -> rule7))] Gary is round.[(triple6 OR ((triple4) -> rule3) OR ((triple4 triple1) -> rule8) OR ((((triple5) -> rule6)) -> rule3) OR ((((triple5) -> rule6) triple1) -> rule8) OR ((((((triple7) -> rule2)) -> rule6)) -> rule3) OR ((((((triple7) -> rule2)) -> rule6) triple1) -> rule8))] Gary is white.[(triple7 OR ((triple5) -> rule5) OR ((((triple6 triple1) -> rule7)) -> rule5) OR ((((((triple4) -> rule3) triple1) -> rule7)) -> rule5) OR ((((((triple4 triple1) -> rule8) triple1) -> rule7)) -> rule5))]