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