Bob is kind. Bob is round. Bob is smart. Charlie is round. Charlie is white. Charlie is young. Erin is blue. Erin is rough. Erin is round. Erin is smart. Erin is white. Erin is young. Fiona is not round. Fiona is smart. Fiona is not young. If Bob is young and Bob is white then Bob is not smart. Rough people are smart. Young people are smart. If someone is smart and kind then they are rough. All blue people are kind. If Charlie is young and Charlie is kind then Charlie is not blue. If someone is kind and not blue then they are round. Rough people are round.
Fiona is young.
@0: Bob is kind.[(triple1)] Bob is round.[(triple2 OR ((((triple3 triple1) -> rule4)) -> rule8))] Bob is smart.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Erin is blue.[(triple7)] Erin is rough.[(triple8 OR ((triple10 ((triple7) -> rule5)) -> rule4) OR ((((triple12) -> rule3) ((triple7) -> rule5)) -> rule4))] Erin is round.[(triple9 OR ((triple8) -> rule8) OR ((((triple10 ((triple7) -> rule5)) -> rule4)) -> rule8) OR ((((((triple12) -> rule3) ((triple7) -> rule5)) -> rule4)) -> rule8))] Erin is smart.[(triple10 OR ((triple12) -> rule3) OR ((triple8) -> rule2))] Erin is white.[(triple11)] Erin is young.[(triple12)] Fiona is not round.[(triple13)] Fiona is not young.[(triple15)] Fiona is smart.[(triple14)] @1: Bob is rough.[(((triple3 triple1) -> rule4))] Charlie is smart.[(((triple6) -> rule3))] Erin is kind.[(((triple7) -> rule5))]