Bob is kind. Bob is quiet. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is round. Erin is blue. Erin is furry. Erin is round. Gary is blue. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is red. All quiet, kind people are blue. If Gary is red and Gary is nice then Gary is blue. Quiet, furry people are blue. All furry, red people are quiet. If someone is round and nice then they are furry. If someone is quiet then they are round. Kind people are quiet. All nice, furry people are kind.
Charlie is quiet.
@0: Bob is kind.[(triple1)] Bob is quiet.[(triple2 OR ((triple1) -> rule7))] Charlie is furry.[(triple3 OR ((triple6 triple4) -> rule5) OR ((((triple5) -> rule6) triple4) -> rule5))] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5 OR ((((triple4 triple3) -> rule8)) -> rule7) OR ((((triple4 ((triple6 triple4) -> rule5)) -> rule8)) -> rule7))] Charlie is round.[(triple6 OR ((triple5) -> rule6) OR ((((((triple4 triple3) -> rule8)) -> rule7)) -> rule6))] Erin is blue.[(triple7)] Erin is furry.[(triple8)] Erin is round.[(triple9)] Gary is blue.[(triple10 OR ((triple14 triple11) -> rule3) OR ((triple14 triple12) -> rule1) OR ((triple15 triple13) -> rule2) OR ((triple14 ((triple13 triple11) -> rule8)) -> rule1) OR ((((triple12) -> rule7) triple11) -> rule3) OR ((((triple12) -> rule7) triple12) -> rule1) OR ((((triple11 triple15) -> rule4) triple11) -> rule3) OR ((((triple11 triple15) -> rule4) triple12) -> rule1) OR ((((triple12) -> rule7) ((triple13 triple11) -> rule8)) -> rule1) OR ((((triple11 triple15) -> rule4) ((triple13 triple11) -> rule8)) -> rule1) OR ((triple14 ((((triple14) -> rule6) triple13) -> rule5)) -> rule3) OR ((((((triple13 triple11) -> rule8)) -> rule7) triple11) -> rule3) OR ((((((triple13 triple11) -> rule8)) -> rule7) triple12) -> rule1) OR ((((triple12) -> rule7) ((((triple14) -> rule6) triple13) -> rule5)) -> rule3) OR ((((((triple13 triple11) -> rule8)) -> rule7) ((triple13 triple11) -> rule8)) -> rule1) OR ((((triple11 triple15) -> rule4) ((((triple14) -> rule6) triple13) -> rule5)) -> rule3) OR ((((((triple13 triple11) -> rule8)) -> rule7) ((((triple14) -> rule6) triple13) -> rule5)) -> rule3) OR ((triple14 ((triple13 ((((triple14) -> rule6) triple13) -> rule5)) -> rule8)) -> rule1) OR ((triple14 ((((((triple12) -> rule7)) -> rule6) triple13) -> rule5)) -> rule3) OR ((((triple12) -> rule7) ((triple13 ((((triple14) -> rule6) triple13) -> rule5)) -> rule8)) -> rule1) OR ((((triple12) -> rule7) ((((((triple12) -> rule7)) -> rule6) triple13) -> rule5)) -> rule3) OR ((((triple11 triple15) -> rule4) ((triple13 ((((triple14) -> rule6) triple13) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 triple15) -> rule4) ((((((triple12) -> rule7)) -> rule6) triple13) -> rule5)) -> rule3) OR ((((((triple13 triple11) -> rule8)) -> rule7) ((triple13 ((((triple14) -> rule6) triple13) -> rule5)) -> rule8)) -> rule1) OR ((((((triple13 triple11) -> rule8)) -> rule7) ((((((triple12) -> rule7)) -> rule6) triple13) -> rule5)) -> rule3))] Gary is furry.[(triple11 OR ((((triple14) -> rule6) triple13) -> rule5) OR ((((((triple12) -> rule7)) -> rule6) triple13) -> rule5))] Gary is kind.[(triple12 OR ((triple13 triple11) -> rule8) OR ((triple13 ((((triple14) -> rule6) triple13) -> rule5)) -> rule8))] Gary is nice.[(triple13)] Gary is quiet.[(triple14 OR ((triple12) -> rule7) OR ((triple11 triple15) -> rule4) OR ((((triple13 triple11) -> rule8)) -> rule7))] Gary is red.[(triple15)] @1: Bob is blue.[(((triple2 triple1) -> rule1) OR ((((triple1) -> rule7) triple1) -> rule1))] Bob is round.[(((triple2) -> rule6) OR ((((triple1) -> rule7)) -> rule6))] Charlie is blue.[(((triple5 triple3) -> rule3) OR ((triple5 ((triple4 triple3) -> rule8)) -> rule1) OR ((triple5 ((triple6 triple4) -> rule5)) -> rule3) OR ((triple5 ((triple4 ((triple6 triple4) -> rule5)) -> rule8)) -> rule1) OR ((triple5 ((((triple5) -> rule6) triple4) -> rule5)) -> rule3) OR ((((((triple4 triple3) -> rule8)) -> rule7) triple3) -> rule3) OR ((((((triple4 triple3) -> rule8)) -> rule7) ((triple4 triple3) -> rule8)) -> rule1) OR ((((((triple4 triple3) -> rule8)) -> rule7) ((triple6 triple4) -> rule5)) -> rule3) OR ((((((triple4 triple3) -> rule8)) -> rule7) ((triple4 ((triple6 triple4) -> rule5)) -> rule8)) -> rule1) OR ((((((triple4 triple3) -> rule8)) -> rule7) ((((triple5) -> rule6) triple4) -> rule5)) -> rule3) OR ((triple5 ((triple4 ((((triple5) -> rule6) triple4) -> rule5)) -> rule8)) -> rule1) OR ((((((triple4 ((triple6 triple4) -> rule5)) -> rule8)) -> rule7) triple3) -> rule3) OR ((((((triple4 ((triple6 triple4) -> rule5)) -> rule8)) -> rule7) ((triple4 triple3) -> rule8)) -> rule1) OR ((((((triple4 ((triple6 triple4) -> rule5)) -> rule8)) -> rule7) ((triple6 triple4) -> rule5)) -> rule3) OR ((((((triple4 triple3) -> rule8)) -> rule7) ((triple4 ((((triple5) -> rule6) triple4) -> rule5)) -> rule8)) -> rule1) OR ((((((triple4 ((triple6 triple4) -> rule5)) -> rule8)) -> rule7) ((triple4 ((triple6 triple4) -> rule5)) -> rule8)) -> rule1) OR ((((((triple4 ((triple6 triple4) -> rule5)) -> rule8)) -> rule7) ((((triple5) -> rule6) triple4) -> rule5)) -> rule3) OR ((((((triple4 ((triple6 triple4) -> rule5)) -> rule8)) -> rule7) ((triple4 ((((triple5) -> rule6) triple4) -> rule5)) -> rule8)) -> rule1))] Charlie is kind.[(((triple4 triple3) -> rule8) OR ((triple4 ((triple6 triple4) -> rule5)) -> rule8) OR ((triple4 ((((triple5) -> rule6) triple4) -> rule5)) -> rule8))] Gary is round.[(((triple14) -> rule6) OR ((((triple12) -> rule7)) -> rule6) OR ((((triple11 triple15) -> rule4)) -> rule6) OR ((((((triple13 triple11) -> rule8)) -> rule7)) -> rule6))]