Bob is not big. Charlie is big. Charlie is cold. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. Fiona is quiet. Fiona is not smart. Fiona is young. If someone is smart and big then they are round. Quiet, smart people are red. Smart people are big. All quiet, red people are cold. If Charlie is not big and Charlie is not smart then Charlie is red. If Charlie is smart and Charlie is big then Charlie is red.
Fiona is not young.
@0: Bob is not big.[(triple1)] Charlie is big.[(triple2 OR ((triple7) -> rule3))] Charlie is cold.[(triple3 OR ((triple4 triple5) -> rule4) OR ((triple4 ((triple4 triple7) -> rule2)) -> rule4) OR ((triple4 ((triple7 triple2) -> rule6)) -> rule4) OR ((triple4 ((triple7 ((triple7) -> rule3)) -> rule6)) -> rule4))] Charlie is quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple4 triple7) -> rule2) OR ((triple7 triple2) -> rule6) OR ((triple7 ((triple7) -> rule3)) -> rule6))] Charlie is round.[(triple6 OR ((triple7 triple2) -> rule1) OR ((triple7 ((triple7) -> rule3)) -> rule1))] Charlie is smart.[(triple7)] Fiona is not smart.[(triple9)] Fiona is quiet.[(triple8)] Fiona is young.[(triple10)]