Bob is big. Bob is cold. Bob is kind. Bob is red. Bob is white. Harry is big. Harry is cold. Harry is kind. Harry is quiet. Harry is red. Harry is round. Harry is white. White things are red. Big things are round. All white, round things are quiet.
Bob is not round.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is red.[(triple4 OR ((triple5) -> rule1))] Bob is white.[(triple5)] Harry is big.[(triple6)] Harry is cold.[(triple7)] Harry is kind.[(triple8)] Harry is quiet.[(triple9 OR ((triple12 triple11) -> rule3) OR ((triple12 ((triple6) -> rule2)) -> rule3))] Harry is red.[(triple10 OR ((triple12) -> rule1))] Harry is round.[(triple11 OR ((triple6) -> rule2))] Harry is white.[(triple12)] @1: Bob is round.[(((triple1) -> rule2))] @2: Bob is quiet.[(((triple5 ((triple1) -> rule2)) -> rule3))]