Bob is not kind. Bob is quiet. Bob is rough. Bob is round. Bob is young. Charlie is cold. Charlie is rough. Charlie is not round. Erin is kind. Erin is round. Erin is white. Erin is young. Fiona is cold. Fiona is not kind. Fiona is not quiet. Fiona is round. If something is round and quiet then it is young. If Charlie is cold and Charlie is rough then Charlie is kind. If Bob is young and Bob is not kind then Bob is rough. If something is kind then it is white. If something is cold then it is rough. If something is round and kind then it is cold.
Erin is rough.
@0: Bob is not kind.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3 OR ((triple5 triple1) -> rule3) OR ((((triple4 triple2) -> rule1) triple1) -> rule3))] Bob is round.[(triple4)] Bob is young.[(triple5 OR ((triple4 triple2) -> rule1))] Charlie is cold.[(triple6)] Charlie is not round.[(triple8)] Charlie is rough.[(triple7 OR ((triple6) -> rule5))] Erin is kind.[(triple9)] Erin is round.[(triple10)] Erin is white.[(triple11 OR ((triple9) -> rule4))] Erin is young.[(triple12)] Fiona is cold.[(triple13)] Fiona is not kind.[(triple14)] Fiona is not quiet.[(triple15)] Fiona is round.[(triple16)] @1: Charlie is kind.[(((triple6 triple7) -> rule2) OR ((triple6 ((triple6) -> rule5)) -> rule2))] Erin is cold.[(((triple10 triple9) -> rule6))] Fiona is rough.[(((triple13) -> rule5))] @2: Charlie is white.[(((((triple6 triple7) -> rule2)) -> rule4) OR ((((triple6 ((triple6) -> rule5)) -> rule2)) -> rule4))] Erin is rough.[(((((triple10 triple9) -> rule6)) -> rule5))]