Dave is red. Dave is round. Dave is smart. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. Fiona is smart. All smart, red people are kind. If someone is blue and smart then they are nice. All blue, nice people are kind.
Fiona is blue.
@0: Dave is red.[(triple1)] Dave is round.[(triple2)] Dave is smart.[(triple3)] Fiona is blue.[(triple4)] Fiona is cold.[(triple5)] Fiona is kind.[(triple6 OR ((triple10 triple8) -> rule1) OR ((triple4 triple7) -> rule3) OR ((triple4 ((triple4 triple10) -> rule2)) -> rule3))] Fiona is nice.[(triple7 OR ((triple4 triple10) -> rule2))] Fiona is red.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] @1: Dave is kind.[(((triple3 triple1) -> rule1))]