Bob is quiet. Erin is not quiet. Erin is red. Erin is rough. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is not round. Fiona is smart. Harry is furry. If someone is quiet then they are rough. All smart, red people are not round. All smart, rough people are red. All rough people are smart. All round people are nice. If someone is quiet and not nice then they are furry.
Bob is not rough.
@0: Bob is quiet.[(triple1)] Erin is not quiet.[(triple2)] Erin is red.[(triple3 OR ((((triple4) -> rule4) triple4) -> rule3))] Erin is rough.[(triple4)] Fiona is nice.[(triple5)] Fiona is not round.[(triple8 OR ((triple9 triple7) -> rule2) OR ((triple9 ((triple9 ((triple6) -> rule1)) -> rule3)) -> rule2) OR ((((((triple6) -> rule1)) -> rule4) triple7) -> rule2) OR ((((((triple6) -> rule1)) -> rule4) ((triple9 ((triple6) -> rule1)) -> rule3)) -> rule2) OR ((triple9 ((((((triple6) -> rule1)) -> rule4) ((triple6) -> rule1)) -> rule3)) -> rule2) OR ((((((triple6) -> rule1)) -> rule4) ((((((triple6) -> rule1)) -> rule4) ((triple6) -> rule1)) -> rule3)) -> rule2))] Fiona is quiet.[(triple6)] Fiona is red.[(triple7 OR ((triple9 ((triple6) -> rule1)) -> rule3) OR ((((((triple6) -> rule1)) -> rule4) ((triple6) -> rule1)) -> rule3))] Fiona is smart.[(triple9 OR ((((triple6) -> rule1)) -> rule4))] Harry is furry.[(triple10)] @1: Bob is rough.[(((triple1) -> rule1))] Erin is smart.[(((triple4) -> rule4))] Fiona is rough.[(((triple6) -> rule1))] @2: Bob is smart.[(((((triple1) -> rule1)) -> rule4))] Erin is not round.[(((((triple4) -> rule4) triple3) -> rule2) OR ((((triple4) -> rule4) ((((triple4) -> rule4) triple4) -> rule3)) -> rule2))] @3: Bob is red.[(((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule3))] @4: Bob is not round.[(((((((triple1) -> rule1)) -> rule4) ((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule3)) -> rule2))]