Bob is blue. Bob is kind. Bob is white. Dave is blue. Dave is red. Fiona is blue. Harry is big. Harry is blue. Harry is green. Harry is white. If something is furry then it is kind. All white, blue things are furry. If something is blue then it is big. If something is blue and big then it is white. If Dave is kind then Dave is white. Kind, furry things are red. Kind, white things are red. If Bob is kind then Bob is red. All blue, kind things are red.
Bob is green.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2 OR ((((triple3 triple1) -> rule2)) -> rule1) OR ((((((triple1 ((triple1) -> rule3)) -> rule4) triple1) -> rule2)) -> rule1))] Bob is white.[(triple3 OR ((triple1 ((triple1) -> rule3)) -> rule4))] Dave is blue.[(triple4)] Dave is red.[(triple5 OR ((triple4 ((((((triple4 ((triple4) -> rule3)) -> rule4) triple4) -> rule2)) -> rule1)) -> rule9) OR ((((((((triple4 ((triple4) -> rule3)) -> rule4) triple4) -> rule2)) -> rule1) ((triple4 ((triple4) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple4 ((triple4) -> rule3)) -> rule4) triple4) -> rule2)) -> rule1) ((((triple4 ((triple4) -> rule3)) -> rule4) triple4) -> rule2)) -> rule6))] Fiona is blue.[(triple6)] Harry is big.[(triple7 OR ((triple8) -> rule3))] Harry is blue.[(triple8)] Harry is green.[(triple9)] Harry is white.[(triple10 OR ((triple8 triple7) -> rule4) OR ((triple8 ((triple8) -> rule3)) -> rule4))] @1: Bob is big.[(((triple1) -> rule3))] Bob is furry.[(((triple3 triple1) -> rule2) OR ((((triple1 ((triple1) -> rule3)) -> rule4) triple1) -> rule2))] Bob is red.[(((triple2) -> rule8) OR ((triple1 triple2) -> rule9) OR ((triple2 triple3) -> rule7) OR ((triple2 ((triple3 triple1) -> rule2)) -> rule6) OR ((((((triple3 triple1) -> rule2)) -> rule1)) -> rule8) OR ((triple1 ((((triple3 triple1) -> rule2)) -> rule1)) -> rule9) OR ((triple2 ((triple1 ((triple1) -> rule3)) -> rule4)) -> rule7) OR ((((((triple3 triple1) -> rule2)) -> rule1) triple3) -> rule7) OR ((((((triple3 triple1) -> rule2)) -> rule1) ((triple3 triple1) -> rule2)) -> rule6) OR ((((((triple3 triple1) -> rule2)) -> rule1) ((triple1 ((triple1) -> rule3)) -> rule4)) -> rule7) OR ((triple2 ((((triple1 ((triple1) -> rule3)) -> rule4) triple1) -> rule2)) -> rule6) OR ((((((triple3 triple1) -> rule2)) -> rule1) ((((triple1 ((triple1) -> rule3)) -> rule4) triple1) -> rule2)) -> rule6) OR ((((((((triple1 ((triple1) -> rule3)) -> rule4) triple1) -> rule2)) -> rule1)) -> rule8) OR ((triple1 ((((((triple1 ((triple1) -> rule3)) -> rule4) triple1) -> rule2)) -> rule1)) -> rule9) OR ((((((((triple1 ((triple1) -> rule3)) -> rule4) triple1) -> rule2)) -> rule1) triple3) -> rule7) OR ((((((((triple1 ((triple1) -> rule3)) -> rule4) triple1) -> rule2)) -> rule1) ((triple3 triple1) -> rule2)) -> rule6) OR ((((((((triple1 ((triple1) -> rule3)) -> rule4) triple1) -> rule2)) -> rule1) ((triple1 ((triple1) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple1 ((triple1) -> rule3)) -> rule4) triple1) -> rule2)) -> rule1) ((((triple1 ((triple1) -> rule3)) -> rule4) triple1) -> rule2)) -> rule6))] Dave is big.[(((triple4) -> rule3))] Fiona is big.[(((triple6) -> rule3))] Harry is furry.[(((triple10 triple8) -> rule2) OR ((((triple8 triple7) -> rule4) triple8) -> rule2) OR ((((triple8 ((triple8) -> rule3)) -> rule4) triple8) -> rule2))] @2: Dave is white.[(((triple4 ((triple4) -> rule3)) -> rule4))] Fiona is white.[(((triple6 ((triple6) -> rule3)) -> rule4))] Harry is kind.[(((((triple10 triple8) -> rule2)) -> rule1) OR ((((((triple8 triple7) -> rule4) triple8) -> rule2)) -> rule1) OR ((((((triple8 ((triple8) -> rule3)) -> rule4) triple8) -> rule2)) -> rule1))] @3: Dave is furry.[(((((triple4 ((triple4) -> rule3)) -> rule4) triple4) -> rule2))] Fiona is furry.[(((((triple6 ((triple6) -> rule3)) -> rule4) triple6) -> rule2))] Harry is red.[(((triple8 ((((triple10 triple8) -> rule2)) -> rule1)) -> rule9) OR ((((((triple10 triple8) -> rule2)) -> rule1) triple10) -> rule7) OR ((((((triple10 triple8) -> rule2)) -> rule1) ((triple10 triple8) -> rule2)) -> rule6) OR ((((((triple10 triple8) -> rule2)) -> rule1) ((triple8 triple7) -> rule4)) -> rule7) OR ((((((triple10 triple8) -> rule2)) -> rule1) ((triple8 ((triple8) -> rule3)) -> rule4)) -> rule7) OR ((((((triple10 triple8) -> rule2)) -> rule1) ((((triple8 triple7) -> rule4) triple8) -> rule2)) -> rule6) OR ((triple8 ((((((triple8 triple7) -> rule4) triple8) -> rule2)) -> rule1)) -> rule9) OR ((((((((triple8 triple7) -> rule4) triple8) -> rule2)) -> rule1) triple10) -> rule7) OR ((((((((triple8 triple7) -> rule4) triple8) -> rule2)) -> rule1) ((triple10 triple8) -> rule2)) -> rule6) OR ((((((((triple8 triple7) -> rule4) triple8) -> rule2)) -> rule1) ((triple8 triple7) -> rule4)) -> rule7) OR ((((((triple10 triple8) -> rule2)) -> rule1) ((((triple8 ((triple8) -> rule3)) -> rule4) triple8) -> rule2)) -> rule6) OR ((((((((triple8 triple7) -> rule4) triple8) -> rule2)) -> rule1) ((triple8 ((triple8) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple8 triple7) -> rule4) triple8) -> rule2)) -> rule1) ((((triple8 triple7) -> rule4) triple8) -> rule2)) -> rule6) OR ((((((((triple8 triple7) -> rule4) triple8) -> rule2)) -> rule1) ((((triple8 ((triple8) -> rule3)) -> rule4) triple8) -> rule2)) -> rule6) OR ((triple8 ((((((triple8 ((triple8) -> rule3)) -> rule4) triple8) -> rule2)) -> rule1)) -> rule9) OR ((((((((triple8 ((triple8) -> rule3)) -> rule4) triple8) -> rule2)) -> rule1) triple10) -> rule7) OR ((((((((triple8 ((triple8) -> rule3)) -> rule4) triple8) -> rule2)) -> rule1) ((triple10 triple8) -> rule2)) -> rule6) OR ((((((((triple8 ((triple8) -> rule3)) -> rule4) triple8) -> rule2)) -> rule1) ((triple8 triple7) -> rule4)) -> rule7) OR ((((((((triple8 ((triple8) -> rule3)) -> rule4) triple8) -> rule2)) -> rule1) ((triple8 ((triple8) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple8 ((triple8) -> rule3)) -> rule4) triple8) -> rule2)) -> rule1) ((((triple8 triple7) -> rule4) triple8) -> rule2)) -> rule6) OR ((((((((triple8 ((triple8) -> rule3)) -> rule4) triple8) -> rule2)) -> rule1) ((((triple8 ((triple8) -> rule3)) -> rule4) triple8) -> rule2)) -> rule6))] @4: Dave is kind.[(((((((triple4 ((triple4) -> rule3)) -> rule4) triple4) -> rule2)) -> rule1))] Fiona is kind.[(((((((triple6 ((triple6) -> rule3)) -> rule4) triple6) -> rule2)) -> rule1))] @5: Fiona is red.[(((triple6 ((((((triple6 ((triple6) -> rule3)) -> rule4) triple6) -> rule2)) -> rule1)) -> rule9) OR ((((((((triple6 ((triple6) -> rule3)) -> rule4) triple6) -> rule2)) -> rule1) ((triple6 ((triple6) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple6 ((triple6) -> rule3)) -> rule4) triple6) -> rule2)) -> rule1) ((((triple6 ((triple6) -> rule3)) -> rule4) triple6) -> rule2)) -> rule6))]