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