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