Anne is big. Anne is furry. Anne is white. Anne is young. Charlie is furry. Charlie is green. Charlie is smart. Charlie is young. Gary is big. Gary is green. Gary is smart. Gary is young. Big, smart people are blue. If Gary is blue then Gary is big. Furry people are big. If Charlie is furry and Charlie is blue then Charlie is young. If someone is white then they are furry. If someone is blue then they are white. If Charlie is green and Charlie is young then Charlie is furry. If someone is smart then they are big.
Charlie is not big.
@0: Anne is big.[(triple1 OR ((triple2) -> rule3) OR ((((triple3) -> rule5)) -> rule3))] Anne is furry.[(triple2 OR ((triple3) -> rule5))] Anne is white.[(triple3)] Anne is young.[(triple4)] Charlie is furry.[(triple5 OR ((triple6 triple8) -> rule7) OR ((((((((triple7) -> rule8) triple7) -> rule1)) -> rule6)) -> rule5))] Charlie is green.[(triple6)] Charlie is smart.[(triple7)] Charlie is young.[(triple8 OR ((triple5 ((((triple5) -> rule3) triple7) -> rule1)) -> rule4) OR ((triple5 ((((triple7) -> rule8) triple7) -> rule1)) -> rule4) OR ((((((((((triple7) -> rule8) triple7) -> rule1)) -> rule6)) -> rule5) ((((triple5) -> rule3) triple7) -> rule1)) -> rule4) OR ((((((((((triple7) -> rule8) triple7) -> rule1)) -> rule6)) -> rule5) ((((triple7) -> rule8) triple7) -> rule1)) -> rule4))] Gary is big.[(triple9 OR ((triple11) -> rule8))] Gary is green.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)] @1: Charlie is big.[(((triple5) -> rule3) OR ((triple7) -> rule8) OR ((((triple6 triple8) -> rule7)) -> rule3))] Gary is blue.[(((triple9 triple11) -> rule1) OR ((((triple11) -> rule8) triple11) -> rule1))] @2: Charlie is blue.[(((((triple5) -> rule3) triple7) -> rule1) OR ((((triple7) -> rule8) triple7) -> rule1) OR ((((((triple6 triple8) -> rule7)) -> rule3) triple7) -> rule1))] Gary is white.[(((((triple9 triple11) -> rule1)) -> rule6) OR ((((((triple11) -> rule8) triple11) -> rule1)) -> rule6))] @3: Charlie is white.[(((((((triple5) -> rule3) triple7) -> rule1)) -> rule6) OR ((((((triple7) -> rule8) triple7) -> rule1)) -> rule6) OR ((((((((triple6 triple8) -> rule7)) -> rule3) triple7) -> rule1)) -> rule6))] Gary is furry.[(((((((triple9 triple11) -> rule1)) -> rule6)) -> rule5) OR ((((((((triple11) -> rule8) triple11) -> rule1)) -> rule6)) -> rule5))]