Bob is round. Charlie is furry. Charlie is green. Charlie is nice. Charlie is red. Dave is nice. Dave is round. Gary is furry. Gary is green. Gary is nice. All round things are furry. If something is green and furry then it is kind. If something is white and nice then it is red. All furry things are green. If something is green then it is red. Nice, furry things are round.
Bob is nice.
@0: Bob is round.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3 OR ((triple2) -> rule4))] Charlie is nice.[(triple4)] Charlie is red.[(triple5 OR ((triple3) -> rule5) OR ((((triple2) -> rule4)) -> rule5))] Dave is nice.[(triple6)] Dave is round.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9 OR ((triple8) -> rule4))] Gary is nice.[(triple10)] @1: Bob is furry.[(((triple1) -> rule1))] Charlie is kind.[(((triple3 triple2) -> rule2) OR ((((triple2) -> rule4) triple2) -> rule2))] Charlie is round.[(((triple4 triple2) -> rule6))] Dave is furry.[(((triple7) -> rule1))] Gary is kind.[(((triple9 triple8) -> rule2) OR ((((triple8) -> rule4) triple8) -> rule2))] Gary is red.[(((triple9) -> rule5) OR ((((triple8) -> rule4)) -> rule5))] Gary is round.[(((triple10 triple8) -> rule6))] @2: Bob is green.[(((((triple1) -> rule1)) -> rule4))] Dave is green.[(((((triple7) -> rule1)) -> rule4))] @3: Bob is kind.[(((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule2))] Bob is red.[(((((((triple1) -> rule1)) -> rule4)) -> rule5))] Dave is kind.[(((((((triple7) -> rule1)) -> rule4) ((triple7) -> rule1)) -> rule2))] Dave is red.[(((((((triple7) -> rule1)) -> rule4)) -> rule5))]