Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is rough. Anne is round. Charlie is nice. Erin is blue. Erin is green. Erin is round. Gary is blue. Gary is green. Rough, blue things are furry. All nice things are furry. Furry things are big. All nice things are big. If something is round then it is nice. All nice things are round. Furry things are blue. If Charlie is rough and Charlie is blue then Charlie is round.
Gary is rough.
@0: Anne is big.[(triple1 OR ((triple3) -> rule3) OR ((((triple6) -> rule5)) -> rule4) OR ((((triple5 triple2) -> rule1)) -> rule3) OR ((((((triple6) -> rule5)) -> rule2)) -> rule3))] Anne is blue.[(triple2 OR ((triple3) -> rule7) OR ((((((triple6) -> rule5)) -> rule2)) -> rule7))] Anne is furry.[(triple3 OR ((triple5 triple2) -> rule1) OR ((((triple6) -> rule5)) -> rule2))] Anne is green.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Charlie is nice.[(triple7)] Erin is blue.[(triple8 OR ((((((triple10) -> rule5)) -> rule2)) -> rule7))] Erin is green.[(triple9)] Erin is round.[(triple10)] Gary is blue.[(triple11)] Gary is green.[(triple12)] @1: Anne is nice.[(((triple6) -> rule5))] Charlie is big.[(((triple7) -> rule4) OR ((((triple7) -> rule2)) -> rule3))] Charlie is furry.[(((triple7) -> rule2))] Charlie is round.[(((triple7) -> rule6))] Erin is nice.[(((triple10) -> rule5))] @2: Charlie is blue.[(((((triple7) -> rule2)) -> rule7))] Erin is big.[(((((triple10) -> rule5)) -> rule4) OR ((((((triple10) -> rule5)) -> rule2)) -> rule3))] Erin is furry.[(((((triple10) -> rule5)) -> rule2))]