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