Charlie is furry. Charlie is round. Charlie is young. Dave is furry. Dave is round. Dave is young. Erin is big. Erin is round. Erin is smart. Harry is furry. If Dave is furry then Dave is kind. If someone is round then they are furry. All furry people are smart.
Charlie is round.
@0: Charlie is furry.[(triple1 OR ((triple2) -> rule2))] Charlie is round.[(triple2)] Charlie is young.[(triple3)] Dave is furry.[(triple4 OR ((triple5) -> rule2))] Dave is round.[(triple5)] Dave is young.[(triple6)] Erin is big.[(triple7)] Erin is round.[(triple8)] Erin is smart.[(triple9 OR ((((triple8) -> rule2)) -> rule3))] Harry is furry.[(triple10)] @1: Charlie is smart.[(((triple1) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] Dave is kind.[(((triple4) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] Dave is smart.[(((triple4) -> rule3) OR ((((triple5) -> rule2)) -> rule3))] Erin is furry.[(((triple8) -> rule2))] Harry is smart.[(((triple10) -> rule3))]