Bob is green. Bob is white. Dave is quiet. Dave is rough. Dave is round. Dave is white. Fiona is big. Fiona is white. Harry is big. Harry is green. Harry is rough. Harry is white. All quiet, red people are green. All rough, quiet people are round. If Fiona is quiet and Fiona is big then Fiona is white. If someone is red then they are quiet. If someone is white and green then they are quiet. If someone is big then they are red. All big, rough people are green. Quiet, rough people are round.
Bob is not big.
@0: Bob is green.[(triple1)] Bob is white.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5 OR ((triple3 triple4) -> rule8) OR ((triple4 triple3) -> rule2))] Dave is white.[(triple6)] Fiona is big.[(triple7)] Fiona is white.[(triple8 OR ((((((triple7) -> rule6)) -> rule4) triple7) -> rule3))] Harry is big.[(triple9)] Harry is green.[(triple10 OR ((triple9 triple11) -> rule7) OR ((((((triple9) -> rule6)) -> rule4) ((triple9) -> rule6)) -> rule1))] Harry is rough.[(triple11)] Harry is white.[(triple12)] @1: Bob is quiet.[(((triple2 triple1) -> rule5))] Fiona is red.[(((triple7) -> rule6))] Harry is quiet.[(((triple12 triple10) -> rule5) OR ((((triple9) -> rule6)) -> rule4) OR ((triple12 ((triple9 triple11) -> rule7)) -> rule5))] Harry is red.[(((triple9) -> rule6))] @2: Fiona is quiet.[(((((triple7) -> rule6)) -> rule4))] Harry is round.[(((triple11 ((triple12 triple10) -> rule5)) -> rule2) OR ((((triple12 triple10) -> rule5) triple11) -> rule8) OR ((triple11 ((((triple9) -> rule6)) -> rule4)) -> rule2) OR ((triple11 ((triple12 ((triple9 triple11) -> rule7)) -> rule5)) -> rule2) OR ((((((triple9) -> rule6)) -> rule4) triple11) -> rule8) OR ((((triple12 ((triple9 triple11) -> rule7)) -> rule5) triple11) -> rule8))] @3: Fiona is green.[(((((((triple7) -> rule6)) -> rule4) ((triple7) -> rule6)) -> rule1))]