Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is white. Bob is young. Dave is green. Dave is kind. Dave is red. Dave is round. Fiona is green. Fiona is nice. Fiona is white. Harry is white. Harry is young. If something is white and nice then it is red. Nice things are red. If Harry is young and Harry is white then Harry is green. If Fiona is green then Fiona is white. If something is nice and red then it is kind. All round things are kind.
Dave is green.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2 OR ((triple3 triple4) -> rule5) OR ((triple3 ((triple3) -> rule2)) -> rule5) OR ((triple3 ((triple5 triple3) -> rule1)) -> rule5))] Bob is nice.[(triple3)] Bob is red.[(triple4 OR ((triple3) -> rule2) OR ((triple5 triple3) -> rule1))] Bob is white.[(triple5)] Bob is young.[(triple6)] Dave is green.[(triple7)] Dave is kind.[(triple8 OR ((triple10) -> rule6))] Dave is red.[(triple9)] Dave is round.[(triple10)] Fiona is green.[(triple11)] Fiona is nice.[(triple12)] Fiona is white.[(triple13 OR ((triple11) -> rule4))] Harry is white.[(triple14)] Harry is young.[(triple15)] @1: Fiona is red.[(((triple12) -> rule2) OR ((triple13 triple12) -> rule1) OR ((((triple11) -> rule4) triple12) -> rule1))] Harry is green.[(((triple15 triple14) -> rule3))] @2: Fiona is kind.[(((triple12 ((triple12) -> rule2)) -> rule5) OR ((triple12 ((triple13 triple12) -> rule1)) -> rule5) OR ((triple12 ((((triple11) -> rule4) triple12) -> rule1)) -> rule5))]