Anne is blue. Anne is smart. Anne is young. Bob is kind. Charlie is big. Charlie is rough. Charlie is white. Fiona is kind. Fiona is smart. Fiona is young. If someone is smart then they are big. If someone is blue then they are big. Smart, young people are big. If someone is rough and big then they are white. All blue, rough people are smart. If Fiona is rough then Fiona is white. If Anne is rough and Anne is blue then Anne is kind. If Charlie is young and Charlie is rough then Charlie is blue.
Charlie is not big.
@0: Anne is blue.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3)] Bob is kind.[(triple4)] Charlie is big.[(triple5)] Charlie is rough.[(triple6)] Charlie is white.[(triple7 OR ((triple6 triple5) -> rule4))] Fiona is kind.[(triple8)] Fiona is smart.[(triple9)] Fiona is young.[(triple10)] @1: Anne is big.[(((triple1) -> rule2) OR ((triple2) -> rule1) OR ((triple2 triple3) -> rule3))] Fiona is big.[(((triple9) -> rule1) OR ((triple9 triple10) -> rule3))]