Bob is big. Bob is blue. Bob is red. Bob is smart. Bob is young. Charlie is big. Charlie is blue. Charlie is not cold. Charlie is green. Charlie is red. Charlie is smart. Charlie is young. Fiona is cold. Fiona is not green. Fiona is red. Fiona is not smart. If Fiona is green then Fiona is red. If someone is green then they are young. If Charlie is red then Charlie is smart. If Charlie is not cold then Charlie is blue. If Charlie is red then Charlie is blue. If someone is cold and big then they are not red. If someone is big and not young then they are not red. If someone is smart and red then they are big.
Fiona is blue.
@0: Bob is big.[(triple1 OR ((triple4 triple3) -> rule8))] Bob is blue.[(triple2)] Bob is red.[(triple3)] Bob is smart.[(triple4)] Bob is young.[(triple5)] Charlie is big.[(triple6 OR ((triple11 triple10) -> rule8) OR ((((triple10) -> rule3) triple10) -> rule8))] Charlie is blue.[(triple7 OR ((triple10) -> rule5) OR ((triple8) -> rule4))] Charlie is green.[(triple9)] Charlie is not cold.[(triple8)] Charlie is red.[(triple10)] Charlie is smart.[(triple11 OR ((triple10) -> rule3))] Charlie is young.[(triple12 OR ((triple9) -> rule2))] Fiona is cold.[(triple13)] Fiona is not green.[(triple14)] Fiona is not smart.[(triple16)] Fiona is red.[(triple15)]