Anne is rough. Anne is round. Charlie is blue. Charlie is red. Charlie is round. Charlie is smart. Charlie is young. Fiona is blue. Fiona is white. Gary is blue. Gary is red. Gary is rough. Gary is round. Gary is smart. Gary is white. Gary is young. If someone is round then they are white. Blue people are red. If someone is rough and red then they are young. Round, young people are red. All white people are smart. Smart, round people are red.
Gary is round.
@0: Anne is rough.[(triple1)] Anne is round.[(triple2)] Charlie is blue.[(triple3)] Charlie is red.[(triple4 OR ((triple3) -> rule2) OR ((triple5 triple7) -> rule4) OR ((triple6 triple5) -> rule6) OR ((((((triple5) -> rule1)) -> rule5) triple5) -> rule6))] Charlie is round.[(triple5)] Charlie is smart.[(triple6 OR ((((triple5) -> rule1)) -> rule5))] Charlie is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is white.[(triple9)] Gary is blue.[(triple10)] Gary is red.[(triple11 OR ((triple10) -> rule2) OR ((triple13 triple16) -> rule4) OR ((triple14 triple13) -> rule6) OR ((((triple15) -> rule5) triple13) -> rule6) OR ((((((triple13) -> rule1)) -> rule5) triple13) -> rule6))] Gary is rough.[(triple12)] Gary is round.[(triple13)] Gary is smart.[(triple14 OR ((triple15) -> rule5) OR ((((triple13) -> rule1)) -> rule5))] Gary is white.[(triple15 OR ((triple13) -> rule1))] Gary is young.[(triple16 OR ((triple12 triple11) -> rule3) OR ((triple12 ((triple10) -> rule2)) -> rule3) OR ((triple12 ((triple14 triple13) -> rule6)) -> rule3) OR ((triple12 ((((triple15) -> rule5) triple13) -> rule6)) -> rule3) OR ((triple12 ((((((triple13) -> rule1)) -> rule5) triple13) -> rule6)) -> rule3))] @1: Anne is white.[(((triple2) -> rule1))] Charlie is white.[(((triple5) -> rule1))] Fiona is red.[(((triple8) -> rule2))] Fiona is smart.[(((triple9) -> rule5))] @2: Anne is smart.[(((((triple2) -> rule1)) -> rule5))] @3: Anne is red.[(((((((triple2) -> rule1)) -> rule5) triple2) -> rule6))] @4: Anne is young.[(((triple1 ((((((triple2) -> rule1)) -> rule5) triple2) -> rule6)) -> rule3))]