Bob is furry. Bob is nice. Bob is quiet. Bob is smart. Bob is white. Fiona is quiet. Gary is smart. Harry is green. Harry is red. Harry is white. If Gary is nice then Gary is quiet. If someone is quiet then they are white. All furry people are nice. Red people are white. If someone is smart and furry then they are white. All green, white people are furry. All smart people are quiet. If someone is smart and white then they are green. If Bob is white and Bob is quiet then Bob is red.
Gary is nice.
@0: Bob is furry.[(triple1 OR ((((triple4 triple5) -> rule8) triple5) -> rule6) OR ((((triple4 triple5) -> rule8) ((triple3) -> rule2)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule8) triple5) -> rule6) OR ((((triple4 triple5) -> rule8) ((((triple4) -> rule7)) -> rule2)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule8) ((triple3) -> rule2)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule8) ((((triple4) -> rule7)) -> rule2)) -> rule6) OR ((((triple4 ((((triple4) -> rule7)) -> rule2)) -> rule8) triple5) -> rule6) OR ((((triple4 ((((triple4) -> rule7)) -> rule2)) -> rule8) ((triple3) -> rule2)) -> rule6) OR ((((triple4 ((((triple4) -> rule7)) -> rule2)) -> rule8) ((((triple4) -> rule7)) -> rule2)) -> rule6))] Bob is nice.[(triple2 OR ((triple1) -> rule3) OR ((((((triple4 triple5) -> rule8) triple5) -> rule6)) -> rule3) OR ((((((triple4 triple5) -> rule8) ((triple3) -> rule2)) -> rule6)) -> rule3) OR ((((((triple4 ((triple3) -> rule2)) -> rule8) triple5) -> rule6)) -> rule3) OR ((((((triple4 triple5) -> rule8) ((((triple4) -> rule7)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple4 ((triple3) -> rule2)) -> rule8) ((triple3) -> rule2)) -> rule6)) -> rule3) OR ((((((triple4 ((triple3) -> rule2)) -> rule8) ((((triple4) -> rule7)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple4 ((((triple4) -> rule7)) -> rule2)) -> rule8) triple5) -> rule6)) -> rule3) OR ((((((triple4 ((((triple4) -> rule7)) -> rule2)) -> rule8) ((triple3) -> rule2)) -> rule6)) -> rule3) OR ((((((triple4 ((((triple4) -> rule7)) -> rule2)) -> rule8) ((((triple4) -> rule7)) -> rule2)) -> rule6)) -> rule3))] Bob is quiet.[(triple3 OR ((triple4) -> rule7))] Bob is smart.[(triple4)] Bob is white.[(triple5 OR ((triple3) -> rule2) OR ((triple4 triple1) -> rule5) OR ((((triple4) -> rule7)) -> rule2))] Fiona is quiet.[(triple6)] Gary is smart.[(triple7)] Harry is green.[(triple8)] Harry is red.[(triple9)] Harry is white.[(triple10 OR ((triple9) -> rule4))] @1: Bob is green.[(((triple4 triple5) -> rule8) OR ((triple4 ((triple3) -> rule2)) -> rule8) OR ((triple4 ((triple4 triple1) -> rule5)) -> rule8) OR ((triple4 ((((triple4) -> rule7)) -> rule2)) -> rule8))] Bob is red.[(((triple5 triple3) -> rule9) OR ((triple5 ((triple4) -> rule7)) -> rule9) OR ((((triple3) -> rule2) triple3) -> rule9) OR ((((triple4 triple1) -> rule5) triple3) -> rule9) OR ((((triple3) -> rule2) ((triple4) -> rule7)) -> rule9) OR ((((triple4 triple1) -> rule5) ((triple4) -> rule7)) -> rule9) OR ((((((triple4) -> rule7)) -> rule2) triple3) -> rule9) OR ((((((triple4) -> rule7)) -> rule2) ((triple4) -> rule7)) -> rule9))] Fiona is white.[(((triple6) -> rule2))] Gary is quiet.[(((triple7) -> rule7))] Harry is furry.[(((triple8 triple10) -> rule6) OR ((triple8 ((triple9) -> rule4)) -> rule6))] @2: Gary is white.[(((((triple7) -> rule7)) -> rule2))] Harry is nice.[(((((triple8 triple10) -> rule6)) -> rule3) OR ((((triple8 ((triple9) -> rule4)) -> rule6)) -> rule3))] @3: Gary is green.[(((triple7 ((((triple7) -> rule7)) -> rule2)) -> rule8))] @4: Gary is furry.[(((((triple7 ((((triple7) -> rule7)) -> rule2)) -> rule8) ((((triple7) -> rule7)) -> rule2)) -> rule6))] @5: Gary is nice.[(((((((triple7 ((((triple7) -> rule7)) -> rule2)) -> rule8) ((((triple7) -> rule7)) -> rule2)) -> rule6)) -> rule3))]