Dave is blue. Dave is cold. Dave is kind. Dave is nice. Dave is rough. Dave is round. Dave is white. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is round. Fiona is white. All kind things are blue. Cold, round things are white. If Fiona is nice and Fiona is rough then Fiona is round. If Fiona is round then Fiona is blue. All white things are cold. If Dave is rough and Dave is kind then Dave is nice. Nice things are kind. Cold things are blue.
Fiona is kind.
@0: Dave is blue.[(triple1 OR ((triple2) -> rule8) OR ((triple3) -> rule1) OR ((((triple4) -> rule7)) -> rule1) OR ((((triple7) -> rule5)) -> rule8))] Dave is cold.[(triple2 OR ((triple7) -> rule5))] Dave is kind.[(triple3 OR ((triple4) -> rule7))] Dave is nice.[(triple4 OR ((triple5 triple3) -> rule6))] Dave is rough.[(triple5)] Dave is round.[(triple6)] Dave is white.[(triple7 OR ((triple2 triple6) -> rule2))] Fiona is blue.[(triple8 OR ((triple10) -> rule1) OR ((triple13) -> rule4) OR ((triple9) -> rule8) OR ((((triple11) -> rule7)) -> rule1) OR ((((triple14) -> rule5)) -> rule8) OR ((((triple11 triple12) -> rule3)) -> rule4))] Fiona is cold.[(triple9 OR ((triple14) -> rule5))] Fiona is kind.[(triple10 OR ((triple11) -> rule7))] Fiona is nice.[(triple11)] Fiona is rough.[(triple12)] Fiona is round.[(triple13 OR ((triple11 triple12) -> rule3))] Fiona is white.[(triple14 OR ((triple9 triple13) -> rule2) OR ((triple9 ((triple11 triple12) -> rule3)) -> rule2))]