Dave is big. Dave is blue. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Dave is white. Fiona is big. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. Harry is big. Harry is blue. Harry is rough. If someone is blue then they are white. Smart, rough people are quiet. All blue people are rough. White people are smart. All blue people are round. If someone is big and round then they are blue.
Harry is not quiet.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple1 triple5) -> rule6))] Dave is quiet.[(triple3 OR ((triple6 triple4) -> rule2) OR ((triple6 ((triple2) -> rule3)) -> rule2) OR ((((triple7) -> rule4) triple4) -> rule2) OR ((((triple7) -> rule4) ((triple2) -> rule3)) -> rule2) OR ((triple6 ((((triple1 triple5) -> rule6)) -> rule3)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) triple4) -> rule2) OR ((((triple7) -> rule4) ((((triple1 triple5) -> rule6)) -> rule3)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule3)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule3)) -> rule2) OR ((((((((triple1 triple5) -> rule6)) -> rule1)) -> rule4) triple4) -> rule2) OR ((((((((triple1 triple5) -> rule6)) -> rule1)) -> rule4) ((triple2) -> rule3)) -> rule2) OR ((((((((triple1 triple5) -> rule6)) -> rule1)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule3)) -> rule2))] Dave is rough.[(triple4 OR ((triple2) -> rule3) OR ((((triple1 triple5) -> rule6)) -> rule3))] Dave is round.[(triple5 OR ((triple2) -> rule5))] Dave is smart.[(triple6 OR ((triple7) -> rule4) OR ((((triple2) -> rule1)) -> rule4) OR ((((((triple1 triple5) -> rule6)) -> rule1)) -> rule4))] Dave is white.[(triple7 OR ((triple2) -> rule1) OR ((((triple1 triple5) -> rule6)) -> rule1))] Fiona is big.[(triple8)] Fiona is quiet.[(triple9 OR ((triple12 triple10) -> rule2) OR ((triple12 ((((triple8 triple11) -> rule6)) -> rule3)) -> rule2) OR ((((((((triple8 triple11) -> rule6)) -> rule1)) -> rule4) triple10) -> rule2) OR ((((((((triple8 triple11) -> rule6)) -> rule1)) -> rule4) ((((triple8 triple11) -> rule6)) -> rule3)) -> rule2))] Fiona is rough.[(triple10 OR ((((triple8 triple11) -> rule6)) -> rule3))] Fiona is round.[(triple11)] Fiona is smart.[(triple12 OR ((((((triple8 triple11) -> rule6)) -> rule1)) -> rule4))] Harry is big.[(triple13)] Harry is blue.[(triple14)] Harry is rough.[(triple15 OR ((triple14) -> rule3))] @1: Fiona is blue.[(((triple8 triple11) -> rule6))] Harry is round.[(((triple14) -> rule5))] Harry is white.[(((triple14) -> rule1))] @2: Fiona is white.[(((((triple8 triple11) -> rule6)) -> rule1))] Harry is smart.[(((((triple14) -> rule1)) -> rule4))] @3: Harry is quiet.[(((((((triple14) -> rule1)) -> rule4) triple15) -> rule2) OR ((((((triple14) -> rule1)) -> rule4) ((triple14) -> rule3)) -> rule2))]