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