Bob is cold. Bob is nice. Bob is quiet. Bob is round. Bob is white. Fiona is rough. Fiona is smart. Gary is round. Harry is cold. Harry is smart. All white people are cold. Round people are white. All rough, quiet people are nice. If someone is nice then they are round. All rough, white people are quiet. Cold people are round. If someone is rough then they are quiet.
Harry is round.
@0: Bob is cold.[(triple1 OR ((triple5) -> rule1) OR ((((triple4) -> rule2)) -> rule1) OR ((((((triple2) -> rule4)) -> rule2)) -> rule1))] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4 OR ((triple1) -> rule6) OR ((triple2) -> rule4) OR ((((triple5) -> rule1)) -> rule6))] Bob is white.[(triple5 OR ((triple4) -> rule2) OR ((((triple1) -> rule6)) -> rule2) OR ((((triple2) -> rule4)) -> rule2))] Fiona is rough.[(triple6)] Fiona is smart.[(triple7)] Gary is round.[(triple8)] Harry is cold.[(triple9)] Harry is smart.[(triple10)] @1: Fiona is quiet.[(((triple6) -> rule7))] Gary is white.[(((triple8) -> rule2))] Harry is round.[(((triple9) -> rule6))] @2: Fiona is nice.[(((triple6 ((triple6) -> rule7)) -> rule3))] Gary is cold.[(((((triple8) -> rule2)) -> rule1))] Harry is white.[(((((triple9) -> rule6)) -> rule2))] @3: Fiona is round.[(((((triple6 ((triple6) -> rule7)) -> rule3)) -> rule4))] @4: Fiona is white.[(((((((triple6 ((triple6) -> rule7)) -> rule3)) -> rule4)) -> rule2))] @5: Fiona is cold.[(((((((((triple6 ((triple6) -> rule7)) -> rule3)) -> rule4)) -> rule2)) -> rule1))]