Anne is big. Anne is furry. Anne is rough. Charlie is round. Erin is kind. Erin is smart. Fiona is furry. Fiona is kind. Fiona is rough. Fiona is smart. White, big people are smart. Rough, big people are kind. If Erin is kind and Erin is smart then Erin is furry. If Charlie is big and Charlie is kind then Charlie is white. Furry people are big. Round people are rough. If someone is rough then they are big. All white people are furry.
Charlie is smart.
@0: Anne is big.[(triple1 OR ((triple2) -> rule5) OR ((triple3) -> rule7))] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Charlie is round.[(triple4)] Erin is kind.[(triple5)] Erin is smart.[(triple6)] Fiona is furry.[(triple7)] Fiona is kind.[(triple8 OR ((triple9 ((triple7) -> rule5)) -> rule2) OR ((triple9 ((triple9) -> rule7)) -> rule2))] Fiona is rough.[(triple9)] Fiona is smart.[(triple10)] @1: Anne is kind.[(((triple3 triple1) -> rule2) OR ((triple3 ((triple2) -> rule5)) -> rule2) OR ((triple3 ((triple3) -> rule7)) -> rule2))] Charlie is rough.[(((triple4) -> rule6))] Erin is furry.[(((triple5 triple6) -> rule3))] Fiona is big.[(((triple7) -> rule5) OR ((triple9) -> rule7))] @2: Charlie is big.[(((((triple4) -> rule6)) -> rule7))] Erin is big.[(((((triple5 triple6) -> rule3)) -> rule5))] @3: Charlie is kind.[(((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule7)) -> rule2))] @4: Charlie is white.[(((((((triple4) -> rule6)) -> rule7) ((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule7)) -> rule2)) -> rule4))] @5: Charlie is furry.[(((((((((triple4) -> rule6)) -> rule7) ((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule7)) -> rule2)) -> rule4)) -> rule8))] Charlie is smart.[(((((((((triple4) -> rule6)) -> rule7) ((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule7)) -> rule2)) -> rule4) ((((triple4) -> rule6)) -> rule7)) -> rule1))]