Bob is blue. Bob is furry. Bob is quiet. Bob is red. Bob is white. Erin is blue. Erin is furry. Erin is quiet. Erin is white. Gary is big. Gary is blue. Gary is furry. Gary is quiet. Gary is red. Gary is round. Gary is white. If something is furry and white then it is blue. Blue things are big. Red, white things are quiet. All red, white things are round. If something is round and big then it is furry. If something is furry and quiet then it is blue. All quiet, white things are round. All red, furry things are quiet.
Gary is not blue.
@0: Bob is blue.[(triple1 OR ((triple2 triple3) -> rule6) OR ((triple2 triple5) -> rule1) OR ((triple2 ((triple4 triple2) -> rule8)) -> rule6) OR ((triple2 ((triple4 triple5) -> rule3)) -> rule6))] Bob is furry.[(triple2 OR ((((triple3 triple5) -> rule7) ((triple1) -> rule2)) -> rule5) OR ((((triple4 triple5) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((((triple4 triple5) -> rule3) triple5) -> rule7) ((triple1) -> rule2)) -> rule5))] Bob is quiet.[(triple3 OR ((triple4 triple2) -> rule8) OR ((triple4 triple5) -> rule3) OR ((triple4 ((((triple4 triple5) -> rule4) ((triple1) -> rule2)) -> rule5)) -> rule8))] Bob is red.[(triple4)] Bob is white.[(triple5)] Erin is blue.[(triple6 OR ((triple7 triple8) -> rule6) OR ((triple7 triple9) -> rule1))] Erin is furry.[(triple7 OR ((((triple8 triple9) -> rule7) ((triple6) -> rule2)) -> rule5))] Erin is quiet.[(triple8)] Erin is white.[(triple9)] Gary is big.[(triple10 OR ((triple11) -> rule2) OR ((((triple12 triple13) -> rule6)) -> rule2) OR ((((triple12 triple16) -> rule1)) -> rule2) OR ((((triple12 ((triple14 triple12) -> rule8)) -> rule6)) -> rule2) OR ((((triple12 ((triple14 triple16) -> rule3)) -> rule6)) -> rule2))] Gary is blue.[(triple11 OR ((triple12 triple13) -> rule6) OR ((triple12 triple16) -> rule1) OR ((triple12 ((triple14 triple12) -> rule8)) -> rule6) OR ((triple12 ((triple14 triple16) -> rule3)) -> rule6) OR ((((triple15 triple10) -> rule5) triple13) -> rule6) OR ((((triple15 triple10) -> rule5) triple16) -> rule1) OR ((((triple15 triple10) -> rule5) ((triple14 triple12) -> rule8)) -> rule6) OR ((((triple15 triple10) -> rule5) ((triple14 triple16) -> rule3)) -> rule6) OR ((triple12 ((triple14 ((triple15 triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((triple13 triple16) -> rule7) triple10) -> rule5) triple13) -> rule6) OR ((((((triple13 triple16) -> rule7) triple10) -> rule5) triple16) -> rule1) OR ((((((triple14 triple16) -> rule4) triple10) -> rule5) triple13) -> rule6) OR ((((((triple14 triple16) -> rule4) triple10) -> rule5) triple16) -> rule1) OR ((((triple15 triple10) -> rule5) ((triple14 ((triple15 triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((triple13 triple16) -> rule7) triple10) -> rule5) ((triple14 triple12) -> rule8)) -> rule6) OR ((((((triple13 triple16) -> rule7) triple10) -> rule5) ((triple14 triple16) -> rule3)) -> rule6) OR ((((((triple14 triple16) -> rule4) triple10) -> rule5) ((triple14 triple12) -> rule8)) -> rule6) OR ((((((triple14 triple16) -> rule4) triple10) -> rule5) ((triple14 triple16) -> rule3)) -> rule6) OR ((((((triple13 triple16) -> rule7) triple10) -> rule5) ((triple14 ((triple15 triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((triple14 triple16) -> rule4) triple10) -> rule5) ((triple14 ((triple15 triple10) -> rule5)) -> rule8)) -> rule6) OR ((triple12 ((triple14 ((((triple14 triple16) -> rule4) triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) triple13) -> rule6) OR ((((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) triple16) -> rule1) OR ((((triple15 triple10) -> rule5) ((triple14 ((((triple14 triple16) -> rule4) triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) ((triple14 triple12) -> rule8)) -> rule6) OR ((((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) ((triple14 triple16) -> rule3)) -> rule6) OR ((((((triple13 triple16) -> rule7) triple10) -> rule5) ((triple14 ((((triple14 triple16) -> rule4) triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((triple14 triple16) -> rule4) triple10) -> rule5) ((triple14 ((((triple14 triple16) -> rule4) triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) ((triple14 ((triple15 triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) ((triple14 ((((triple14 triple16) -> rule4) triple10) -> rule5)) -> rule8)) -> rule6))] Gary is furry.[(triple12 OR ((triple15 triple10) -> rule5) OR ((triple15 ((triple11) -> rule2)) -> rule5) OR ((((triple13 triple16) -> rule7) triple10) -> rule5) OR ((((triple14 triple16) -> rule4) triple10) -> rule5) OR ((((triple13 triple16) -> rule7) ((triple11) -> rule2)) -> rule5) OR ((((triple14 triple16) -> rule4) ((triple11) -> rule2)) -> rule5) OR ((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) OR ((((((triple14 triple16) -> rule3) triple16) -> rule7) ((triple11) -> rule2)) -> rule5))] Gary is quiet.[(triple13 OR ((triple14 triple12) -> rule8) OR ((triple14 triple16) -> rule3) OR ((triple14 ((triple15 triple10) -> rule5)) -> rule8) OR ((triple14 ((triple15 ((triple11) -> rule2)) -> rule5)) -> rule8) OR ((triple14 ((((triple14 triple16) -> rule4) triple10) -> rule5)) -> rule8) OR ((triple14 ((((triple14 triple16) -> rule4) ((triple11) -> rule2)) -> rule5)) -> rule8))] Gary is red.[(triple14)] Gary is round.[(triple15 OR ((triple13 triple16) -> rule7) OR ((triple14 triple16) -> rule4) OR ((((triple14 triple12) -> rule8) triple16) -> rule7) OR ((((triple14 triple16) -> rule3) triple16) -> rule7))] Gary is white.[(triple16)] @1: Bob is big.[(((triple1) -> rule2) OR ((((triple2 triple3) -> rule6)) -> rule2) OR ((((triple2 triple5) -> rule1)) -> rule2) OR ((((triple2 ((triple4 triple2) -> rule8)) -> rule6)) -> rule2) OR ((((triple2 ((triple4 triple5) -> rule3)) -> rule6)) -> rule2))] Bob is round.[(((triple3 triple5) -> rule7) OR ((triple4 triple5) -> rule4) OR ((((triple4 triple2) -> rule8) triple5) -> rule7) OR ((((triple4 triple5) -> rule3) triple5) -> rule7))] Erin is big.[(((triple6) -> rule2) OR ((((triple7 triple8) -> rule6)) -> rule2) OR ((((triple7 triple9) -> rule1)) -> rule2))] Erin is round.[(((triple8 triple9) -> rule7))]