Bob is big. Bob is white. Dave is blue. Dave is furry. Dave is red. Dave is round. Fiona is big. Fiona is red. Fiona is round. Harry is blue. Harry is round. All furry, white people are kind. If Dave is blue and Dave is big then Dave is furry. If someone is red then they are big. Blue people are big. Kind people are blue. If someone is round then they are red. If someone is big then they are furry. White, blue people are round.
Dave is white.
@0: Bob is big.[(triple1)] Bob is white.[(triple2)] Dave is blue.[(triple3)] Dave is furry.[(triple4 OR ((((triple3) -> rule4)) -> rule7) OR ((((triple5) -> rule3)) -> rule7) OR ((triple3 ((triple3) -> rule4)) -> rule2) OR ((triple3 ((triple5) -> rule3)) -> rule2) OR ((((((triple6) -> rule6)) -> rule3)) -> rule7) OR ((triple3 ((((triple6) -> rule6)) -> rule3)) -> rule2))] Dave is red.[(triple5 OR ((triple6) -> rule6))] Dave is round.[(triple6)] Fiona is big.[(triple7 OR ((triple8) -> rule3) OR ((((triple9) -> rule6)) -> rule3))] Fiona is red.[(triple8 OR ((triple9) -> rule6))] Fiona is round.[(triple9)] Harry is blue.[(triple10)] Harry is round.[(triple11)] @1: Bob is furry.[(((triple1) -> rule7))] Dave is big.[(((triple3) -> rule4) OR ((triple5) -> rule3) OR ((((triple6) -> rule6)) -> rule3))] Fiona is furry.[(((triple7) -> rule7) OR ((((triple8) -> rule3)) -> rule7) OR ((((((triple9) -> rule6)) -> rule3)) -> rule7))] Harry is big.[(((triple10) -> rule4) OR ((((triple11) -> rule6)) -> rule3))] Harry is red.[(((triple11) -> rule6))] @2: Bob is kind.[(((((triple1) -> rule7) triple2) -> rule1))] Harry is furry.[(((((triple10) -> rule4)) -> rule7) OR ((((((triple11) -> rule6)) -> rule3)) -> rule7))] @3: Bob is blue.[(((((((triple1) -> rule7) triple2) -> rule1)) -> rule5))] @4: Bob is round.[(((triple2 ((((((triple1) -> rule7) triple2) -> rule1)) -> rule5)) -> rule8))] @5: Bob is red.[(((((triple2 ((((((triple1) -> rule7) triple2) -> rule1)) -> rule5)) -> rule8)) -> rule6))]