Charlie is kind. Charlie is rough. Fiona is not rough. Fiona is not smart. Fiona is not young. Gary is white. Harry is kind. Harry is rough. Harry is smart. Harry is white. All white, young people are smart. If someone is smart then they are rough. If someone is rough and not kind then they are white. If someone is kind then they are white. If someone is white and round then they are cold. If Harry is kind and Harry is round then Harry is young. If someone is white then they are young. All smart people are round.
Fiona is kind.
@0: Charlie is kind.[(triple1)] Charlie is rough.[(triple2 OR ((((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule7)) -> rule1)) -> rule2))] Fiona is not rough.[(triple3)] Fiona is not smart.[(triple4)] Fiona is not young.[(triple5)] Gary is white.[(triple6)] Harry is kind.[(triple7)] Harry is rough.[(triple8 OR ((triple9) -> rule2) OR ((((triple10 ((triple10) -> rule7)) -> rule1)) -> rule2) OR ((((((triple7) -> rule4) ((triple10) -> rule7)) -> rule1)) -> rule2) OR ((((triple10 ((((triple7) -> rule4)) -> rule7)) -> rule1)) -> rule2) OR ((((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule7)) -> rule1)) -> rule2))] Harry is smart.[(triple9 OR ((triple10 ((triple10) -> rule7)) -> rule1) OR ((((triple7) -> rule4) ((triple10) -> rule7)) -> rule1) OR ((triple10 ((((triple7) -> rule4)) -> rule7)) -> rule1) OR ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule7)) -> rule1))] Harry is white.[(triple10 OR ((triple7) -> rule4))] @1: Charlie is white.[(((triple1) -> rule4))] Gary is young.[(((triple6) -> rule7))] Harry is round.[(((triple9) -> rule8) OR ((((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8) OR ((((((triple7) -> rule4) ((triple10) -> rule7)) -> rule1)) -> rule8) OR ((((triple10 ((((triple7) -> rule4)) -> rule7)) -> rule1)) -> rule8) OR ((((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule7)) -> rule1)) -> rule8))] Harry is young.[(((triple10) -> rule7) OR ((((triple7) -> rule4)) -> rule7) OR ((triple7 ((triple9) -> rule8)) -> rule6))] @2: Charlie is young.[(((((triple1) -> rule4)) -> rule7))] Gary is smart.[(((triple6 ((triple6) -> rule7)) -> rule1))] Harry is cold.[(((triple10 ((triple9) -> rule8)) -> rule5) OR ((((triple7) -> rule4) ((triple9) -> rule8)) -> rule5) OR ((triple10 ((((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8)) -> rule5) OR ((triple10 ((((((triple7) -> rule4) ((triple10) -> rule7)) -> rule1)) -> rule8)) -> rule5) OR ((((triple7) -> rule4) ((((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8)) -> rule5) OR ((((triple7) -> rule4) ((((((triple7) -> rule4) ((triple10) -> rule7)) -> rule1)) -> rule8)) -> rule5) OR ((triple10 ((((triple10 ((((triple7) -> rule4)) -> rule7)) -> rule1)) -> rule8)) -> rule5) OR ((triple10 ((((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule7)) -> rule1)) -> rule8)) -> rule5) OR ((((triple7) -> rule4) ((((triple10 ((((triple7) -> rule4)) -> rule7)) -> rule1)) -> rule8)) -> rule5) OR ((((triple7) -> rule4) ((((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule7)) -> rule1)) -> rule8)) -> rule5))] @3: Charlie is smart.[(((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule7)) -> rule1))] Gary is rough.[(((((triple6 ((triple6) -> rule7)) -> rule1)) -> rule2))] Gary is round.[(((((triple6 ((triple6) -> rule7)) -> rule1)) -> rule8))] @4: Charlie is round.[(((((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule7)) -> rule1)) -> rule8))] Gary is cold.[(((triple6 ((((triple6 ((triple6) -> rule7)) -> rule1)) -> rule8)) -> rule5))] @5: Charlie is cold.[(((((triple1) -> rule4) ((((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule7)) -> rule1)) -> rule8)) -> rule5))]