Charlie is nice. Charlie is rough. Charlie is smart. Charlie is young. Fiona is cold. Fiona is kind. Fiona is rough. Gary is cold. Gary is young. Harry is nice. If something is young then it is smart. If something is cold and round then it is kind. If Gary is kind and Gary is cold then Gary is rough. If Harry is round then Harry is smart. If Fiona is round and Fiona is kind then Fiona is young. If Charlie is cold then Charlie is round. All smart, young things are nice. If something is nice and smart then it is round.
Fiona is smart.
@0: Charlie is nice.[(triple1 OR ((triple3 triple4) -> rule7) OR ((((triple4) -> rule1) triple4) -> rule7))] Charlie is rough.[(triple2)] Charlie is smart.[(triple3 OR ((triple4) -> rule1))] Charlie is young.[(triple4)] Fiona is cold.[(triple5)] Fiona is kind.[(triple6)] Fiona is rough.[(triple7)] Gary is cold.[(triple8)] Gary is young.[(triple9)] Harry is nice.[(triple10)] @1: Charlie is round.[(((triple1 triple3) -> rule8) OR ((triple1 ((triple4) -> rule1)) -> rule8) OR ((((triple3 triple4) -> rule7) triple3) -> rule8) OR ((((triple3 triple4) -> rule7) ((triple4) -> rule1)) -> rule8) OR ((((((triple4) -> rule1) triple4) -> rule7) triple3) -> rule8) OR ((((((triple4) -> rule1) triple4) -> rule7) ((triple4) -> rule1)) -> rule8))] Gary is smart.[(((triple9) -> rule1))] @2: Gary is nice.[(((((triple9) -> rule1) triple9) -> rule7))] @3: Gary is round.[(((((((triple9) -> rule1) triple9) -> rule7) ((triple9) -> rule1)) -> rule8))] @4: Gary is kind.[(((triple8 ((((((triple9) -> rule1) triple9) -> rule7) ((triple9) -> rule1)) -> rule8)) -> rule2))] @5: Gary is rough.[(((((triple8 ((((((triple9) -> rule1) triple9) -> rule7) ((triple9) -> rule1)) -> rule8)) -> rule2) triple8) -> rule3))]