Anne is big. Anne is nice. Anne is young. Bob is white. Charlie is blue. Charlie is nice. Gary is blue. Gary is nice. Gary is white. Gary is young. If someone is round and young then they are blue. White people are big. Nice, blue people are white. All big, nice people are young. If someone is nice and round then they are green. All young, blue people are round. White people are nice.
Gary is not green.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is young.[(triple3 OR ((triple1 triple2) -> rule4))] Bob is white.[(triple4)] Charlie is blue.[(triple5)] Charlie is nice.[(triple6)] Gary is blue.[(triple7)] Gary is nice.[(triple8 OR ((triple9) -> rule7))] Gary is white.[(triple9 OR ((triple8 triple7) -> rule3))] Gary is young.[(triple10 OR ((((triple9) -> rule2) triple8) -> rule4) OR ((((triple9) -> rule2) ((triple9) -> rule7)) -> rule4) OR ((((((triple8 triple7) -> rule3)) -> rule2) triple8) -> rule4) OR ((((((triple8 triple7) -> rule3)) -> rule2) ((triple9) -> rule7)) -> rule4))] @1: Bob is big.[(((triple4) -> rule2))] Bob is nice.[(((triple4) -> rule7))] Charlie is white.[(((triple6 triple5) -> rule3))] Gary is big.[(((triple9) -> rule2) OR ((((triple8 triple7) -> rule3)) -> rule2))] Gary is round.[(((triple10 triple7) -> rule6) OR ((((((triple9) -> rule2) triple8) -> rule4) triple7) -> rule6) OR ((((((triple9) -> rule2) ((triple9) -> rule7)) -> rule4) triple7) -> rule6) OR ((((((((triple8 triple7) -> rule3)) -> rule2) triple8) -> rule4) triple7) -> rule6) OR ((((((((triple8 triple7) -> rule3)) -> rule2) ((triple9) -> rule7)) -> rule4) triple7) -> rule6))] @2: Bob is young.[(((((triple4) -> rule2) ((triple4) -> rule7)) -> rule4))] Charlie is big.[(((((triple6 triple5) -> rule3)) -> rule2))] Gary is green.[(((triple8 ((triple10 triple7) -> rule6)) -> rule5) OR ((((triple9) -> rule7) ((triple10 triple7) -> rule6)) -> rule5) OR ((triple8 ((((((triple9) -> rule2) triple8) -> rule4) triple7) -> rule6)) -> rule5) OR ((triple8 ((((((triple9) -> rule2) ((triple9) -> rule7)) -> rule4) triple7) -> rule6)) -> rule5) OR ((((triple9) -> rule7) ((((((triple9) -> rule2) triple8) -> rule4) triple7) -> rule6)) -> rule5) OR ((((triple9) -> rule7) ((((((triple9) -> rule2) ((triple9) -> rule7)) -> rule4) triple7) -> rule6)) -> rule5) OR ((triple8 ((((((((triple8 triple7) -> rule3)) -> rule2) triple8) -> rule4) triple7) -> rule6)) -> rule5) OR ((triple8 ((((((((triple8 triple7) -> rule3)) -> rule2) ((triple9) -> rule7)) -> rule4) triple7) -> rule6)) -> rule5) OR ((((triple9) -> rule7) ((((((((triple8 triple7) -> rule3)) -> rule2) triple8) -> rule4) triple7) -> rule6)) -> rule5) OR ((((triple9) -> rule7) ((((((((triple8 triple7) -> rule3)) -> rule2) ((triple9) -> rule7)) -> rule4) triple7) -> rule6)) -> rule5))] @3: Charlie is young.[(((((((triple6 triple5) -> rule3)) -> rule2) triple6) -> rule4))] @4: Charlie is round.[(((((((((triple6 triple5) -> rule3)) -> rule2) triple6) -> rule4) triple5) -> rule6))] @5: Charlie is green.[(((triple6 ((((((((triple6 triple5) -> rule3)) -> rule2) triple6) -> rule4) triple5) -> rule6)) -> rule5))]