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