Bob is blue. Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is round. Fiona is cold. Fiona is nice. Fiona is red. Fiona is round. Harry is blue. Harry is cold. Harry is green. Harry is nice. Harry is round. All green people are blue. All red, round people are green. Blue, kind people are nice.
Fiona is green.
@0: Bob is blue.[(triple1 OR ((triple3) -> rule1) OR ((((triple6 triple7) -> rule2)) -> rule1))] Bob is cold.[(triple2)] Bob is green.[(triple3 OR ((triple6 triple7) -> rule2))] Bob is kind.[(triple4)] Bob is nice.[(triple5 OR ((triple1 triple4) -> rule3) OR ((((triple3) -> rule1) triple4) -> rule3) OR ((((((triple6 triple7) -> rule2)) -> rule1) triple4) -> rule3))] Bob is red.[(triple6)] Bob is round.[(triple7)] Fiona is cold.[(triple8)] Fiona is nice.[(triple9)] Fiona is red.[(triple10)] Fiona is round.[(triple11)] Harry is blue.[(triple12 OR ((triple14) -> rule1))] Harry is cold.[(triple13)] Harry is green.[(triple14)] Harry is nice.[(triple15)] Harry is round.[(triple16)] @1: Fiona is green.[(((triple10 triple11) -> rule2))] @2: Fiona is blue.[(((((triple10 triple11) -> rule2)) -> rule1))]