Charlie is furry. Charlie is white. Dave is furry. Dave is red. Dave is white. Gary is kind. Gary is white. All red, white people are furry. Round, red people are furry. All furry people are red. All red, furry people are nice. All furry, round people are red. If someone is red then they are round. If someone is smart then they are kind. Round people are smart.
Charlie is furry.
@0: Charlie is furry.[(triple1)] Charlie is white.[(triple2)] Dave is furry.[(triple3 OR ((triple4 triple5) -> rule1) OR ((((triple4) -> rule6) triple4) -> rule2))] Dave is red.[(triple4 OR ((triple3) -> rule3))] Dave is white.[(triple5)] Gary is kind.[(triple6)] Gary is white.[(triple7)] @1: Charlie is red.[(((triple1) -> rule3))] Dave is nice.[(((triple4 triple3) -> rule4) OR ((triple4 ((triple4 triple5) -> rule1)) -> rule4) OR ((((triple3) -> rule3) triple3) -> rule4) OR ((((triple3) -> rule3) ((triple4 triple5) -> rule1)) -> rule4) OR ((triple4 ((((triple4) -> rule6) triple4) -> rule2)) -> rule4) OR ((((triple3) -> rule3) ((((triple4) -> rule6) triple4) -> rule2)) -> rule4))] Dave is round.[(((triple4) -> rule6) OR ((((triple3) -> rule3)) -> rule6))] @2: Charlie is nice.[(((((triple1) -> rule3) triple1) -> rule4))] Charlie is round.[(((((triple1) -> rule3)) -> rule6))] Dave is smart.[(((((triple4) -> rule6)) -> rule8) OR ((((((triple3) -> rule3)) -> rule6)) -> rule8))] @3: Charlie is smart.[(((((((triple1) -> rule3)) -> rule6)) -> rule8))] Dave is kind.[(((((((triple4) -> rule6)) -> rule8)) -> rule7) OR ((((((((triple3) -> rule3)) -> rule6)) -> rule8)) -> rule7))] @4: Charlie is kind.[(((((((((triple1) -> rule3)) -> rule6)) -> rule8)) -> rule7))]