Bob is big. Bob is cold. Bob is green. Bob is kind. Bob is not rough. Bob is round. Bob is smart. Fiona is not big. Fiona is cold. Fiona is not green. Fiona is kind. Fiona is not rough. Fiona is round. Fiona is smart. All cold, rough people are big. If someone is big and not kind then they are not green. If someone is big and round then they are not rough. Kind, big people are round. If someone is cold then they are round. If Fiona is not round then Fiona is not smart.
Fiona is not smart.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is not rough.[(triple5 OR ((triple1 triple6) -> rule3) OR ((triple1 ((triple2) -> rule5)) -> rule3) OR ((triple1 ((triple4 triple1) -> rule4)) -> rule3))] Bob is round.[(triple6 OR ((triple2) -> rule5) OR ((triple4 triple1) -> rule4))] Bob is smart.[(triple7)] Fiona is cold.[(triple9)] Fiona is kind.[(triple11)] Fiona is not big.[(triple8)] Fiona is not green.[(triple10)] Fiona is not rough.[(triple12)] Fiona is round.[(triple13 OR ((triple9) -> rule5))] Fiona is smart.[(triple14)]