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