Charlie is big. Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is round. Fiona is big. Fiona is cold. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. Nice, green people are kind. If Charlie is cold and Charlie is kind then Charlie is nice. If Fiona is nice and Fiona is big then Fiona is red. If Fiona is green then Fiona is round. If Fiona is nice and Fiona is cold then Fiona is red. All cold people are green. If someone is kind then they are green. Kind people are green.
Fiona is not kind.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3 OR ((triple2) -> rule6) OR ((triple4) -> rule7) OR ((triple4) -> rule8))] Charlie is kind.[(triple4 OR ((triple5 triple3) -> rule1) OR ((triple5 ((triple2) -> rule6)) -> rule1))] Charlie is nice.[(triple5 OR ((triple2 triple4) -> rule2))] Charlie is red.[(triple6)] Charlie is round.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10 OR ((triple11) -> rule7) OR ((triple11) -> rule8) OR ((triple9) -> rule6))] Fiona is kind.[(triple11 OR ((triple12 triple10) -> rule1) OR ((triple12 ((triple9) -> rule6)) -> rule1))] Fiona is nice.[(triple12)] Fiona is red.[(triple13 OR ((triple12 triple8) -> rule3) OR ((triple12 triple9) -> rule5))] Fiona is round.[(triple14 OR ((triple10) -> rule4) OR ((((triple11) -> rule7)) -> rule4) OR ((((triple11) -> rule8)) -> rule4) OR ((((triple9) -> rule6)) -> rule4))]