Bob is not round. Charlie is furry. Charlie is nice. Charlie is smart. Erin is red. Fiona is furry. Fiona is young. All red people are not round. Red people are not blue. All young people are furry. If Erin is red and Erin is not round then Erin is nice. If someone is round and nice then they are not young. All smart people are young. Nice people are smart.
Erin is nice.
@0: Bob is not round.[(triple1)] Charlie is furry.[(triple2 OR ((((triple4) -> rule6)) -> rule3) OR ((((((triple3) -> rule7)) -> rule6)) -> rule3))] Charlie is nice.[(triple3)] Charlie is smart.[(triple4 OR ((triple3) -> rule7))] Erin is red.[(triple5)] Fiona is furry.[(triple6 OR ((triple7) -> rule3))] Fiona is young.[(triple7)] @1: Charlie is young.[(((triple4) -> rule6) OR ((((triple3) -> rule7)) -> rule6))] Erin is not blue.[(((triple5) -> rule2))] Erin is not round.[(((triple5) -> rule1))] @2: Erin is nice.[(((triple5 ((triple5) -> rule1)) -> rule4))] @3: Erin is smart.[(((((triple5 ((triple5) -> rule1)) -> rule4)) -> rule7))] @4: Erin is young.[(((((((triple5 ((triple5) -> rule1)) -> rule4)) -> rule7)) -> rule6))] @5: Erin is furry.[(((((((((triple5 ((triple5) -> rule1)) -> rule4)) -> rule7)) -> rule6)) -> rule3))]