Bob is blue. Bob is kind. Bob is young. Erin is blue. Erin is furry. Erin is nice. Erin is quiet. Erin is rough. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is young. Young, rough things are furry. If something is blue and quiet then it is young. If something is young and furry then it is nice.
Bob is not nice.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is young.[(triple3)] Erin is blue.[(triple4)] Erin is furry.[(triple5 OR ((((triple4 triple7) -> rule2) triple8) -> rule1))] Erin is nice.[(triple6 OR ((((triple4 triple7) -> rule2) triple5) -> rule3) OR ((((triple4 triple7) -> rule2) ((((triple4 triple7) -> rule2) triple8) -> rule1)) -> rule3))] Erin is quiet.[(triple7)] Erin is rough.[(triple8)] Fiona is blue.[(triple9)] Fiona is furry.[(triple10 OR ((triple15 triple14) -> rule1) OR ((((triple9 triple13) -> rule2) triple14) -> rule1))] Fiona is kind.[(triple11)] Fiona is nice.[(triple12 OR ((triple15 triple10) -> rule3) OR ((triple15 ((triple15 triple14) -> rule1)) -> rule3) OR ((((triple9 triple13) -> rule2) triple10) -> rule3) OR ((((triple9 triple13) -> rule2) ((triple15 triple14) -> rule1)) -> rule3) OR ((triple15 ((((triple9 triple13) -> rule2) triple14) -> rule1)) -> rule3) OR ((((triple9 triple13) -> rule2) ((((triple9 triple13) -> rule2) triple14) -> rule1)) -> rule3))] Fiona is quiet.[(triple13)] Fiona is rough.[(triple14)] Fiona is young.[(triple15 OR ((triple9 triple13) -> rule2))] @1: Erin is young.[(((triple4 triple7) -> rule2))]