Anne is big. Anne is kind. Anne is quiet. Anne is white. Anne is young. Charlie is green. Charlie is kind. Charlie is quiet. Fiona is green. Fiona is kind. Harry is big. Harry is kind. Harry is not quiet. Harry is white. Harry is young. If someone is green and kind then they are smart. Quiet people are smart. If Fiona is young then Fiona is smart. All smart, big people are white. Young, green people are not white. All smart people are big. If Charlie is white and Charlie is not green then Charlie is big. If someone is smart and kind then they are quiet.
Charlie is big.
@0: Anne is big.[(triple1 OR ((((triple3) -> rule2)) -> rule6))] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is white.[(triple4 OR ((((triple3) -> rule2) triple1) -> rule4) OR ((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule6)) -> rule4))] Anne is young.[(triple5)] Charlie is green.[(triple6)] Charlie is kind.[(triple7)] Charlie is quiet.[(triple8 OR ((((triple6 triple7) -> rule1) triple7) -> rule8))] Fiona is green.[(triple9)] Fiona is kind.[(triple10)] Harry is big.[(triple11)] Harry is kind.[(triple12)] Harry is not quiet.[(triple13)] Harry is white.[(triple14)] Harry is young.[(triple15)] @1: Anne is smart.[(((triple3) -> rule2))] Charlie is smart.[(((triple8) -> rule2) OR ((triple6 triple7) -> rule1))] Fiona is smart.[(((triple9 triple10) -> rule1))] @2: Charlie is big.[(((((triple8) -> rule2)) -> rule6) OR ((((triple6 triple7) -> rule1)) -> rule6))] Fiona is big.[(((((triple9 triple10) -> rule1)) -> rule6))] Fiona is quiet.[(((((triple9 triple10) -> rule1) triple10) -> rule8))] @3: Charlie is white.[(((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule6)) -> rule4) OR ((((triple8) -> rule2) ((((triple6 triple7) -> rule1)) -> rule6)) -> rule4) OR ((((triple6 triple7) -> rule1) ((((triple8) -> rule2)) -> rule6)) -> rule4) OR ((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1)) -> rule6)) -> rule4))] Fiona is white.[(((((triple9 triple10) -> rule1) ((((triple9 triple10) -> rule1)) -> rule6)) -> rule4))]