Bob is blue. Bob is nice. Bob is young. Charlie is blue. Charlie is round. Charlie is white. Charlie is young. Erin is rough. Erin is white. Erin is young. Fiona is blue. Fiona is nice. Fiona is round. Fiona is white. Fiona is young. If Bob is blue and Bob is young then Bob is round. All young people are white. If someone is rough and young then they are red. Round people are rough. All blue people are white. All white, round people are nice.
Erin is round.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2 OR ((((triple1) -> rule5) ((triple1 triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule2) ((triple1 triple3) -> rule1)) -> rule6))] Bob is young.[(triple3)] Charlie is blue.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6 OR ((triple4) -> rule5) OR ((triple7) -> rule2))] Charlie is young.[(triple7)] Erin is rough.[(triple8)] Erin is white.[(triple9 OR ((triple10) -> rule2))] Erin is young.[(triple10)] Fiona is blue.[(triple11)] Fiona is nice.[(triple12 OR ((triple14 triple13) -> rule6) OR ((((triple11) -> rule5) triple13) -> rule6) OR ((((triple15) -> rule2) triple13) -> rule6))] Fiona is round.[(triple13)] Fiona is white.[(triple14 OR ((triple11) -> rule5) OR ((triple15) -> rule2))] Fiona is young.[(triple15)] @1: Bob is round.[(((triple1 triple3) -> rule1))] Bob is white.[(((triple1) -> rule5) OR ((triple3) -> rule2))] Charlie is nice.[(((triple6 triple5) -> rule6) OR ((((triple4) -> rule5) triple5) -> rule6) OR ((((triple7) -> rule2) triple5) -> rule6))] Charlie is rough.[(((triple5) -> rule4))] Erin is red.[(((triple8 triple10) -> rule3))] Fiona is rough.[(((triple13) -> rule4))] @2: Bob is rough.[(((((triple1 triple3) -> rule1)) -> rule4))] Charlie is red.[(((((triple5) -> rule4) triple7) -> rule3))] Fiona is red.[(((((triple13) -> rule4) triple15) -> rule3))] @3: Bob is red.[(((((((triple1 triple3) -> rule1)) -> rule4) triple3) -> rule3))]