Bob is green. Charlie is green. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. Fiona is green. Fiona is round. Fiona is smart. Harry is blue. If someone is big then they are blue. If someone is smart and blue then they are round. All young people are green. All green people are blue. Smart people are white. Round people are green. If someone is young and white then they are big. If someone is blue then they are young.
Bob is not white.
@0: Bob is green.[(triple1)] Charlie is green.[(triple2 OR ((triple3) -> rule6) OR ((triple6) -> rule3) OR ((((triple4 ((((triple6 triple5) -> rule7)) -> rule1)) -> rule2)) -> rule6) OR ((((triple4 ((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule1)) -> rule2)) -> rule6))] Charlie is round.[(triple3 OR ((triple4 ((triple2) -> rule4)) -> rule2) OR ((triple4 ((((triple6) -> rule3)) -> rule4)) -> rule2) OR ((triple4 ((((triple6 triple5) -> rule7)) -> rule1)) -> rule2) OR ((triple4 ((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule1)) -> rule2))] Charlie is smart.[(triple4)] Charlie is white.[(triple5 OR ((triple4) -> rule5))] Charlie is young.[(triple6 OR ((((triple2) -> rule4)) -> rule8) OR ((((((triple3) -> rule6)) -> rule4)) -> rule8))] Fiona is green.[(triple7 OR ((triple8) -> rule6))] Fiona is round.[(triple8 OR ((triple9 ((triple7) -> rule4)) -> rule2))] Fiona is smart.[(triple9)] Harry is blue.[(triple10)] @1: Bob is blue.[(((triple1) -> rule4))] Charlie is big.[(((triple6 triple5) -> rule7) OR ((triple6 ((triple4) -> rule5)) -> rule7) OR ((((((triple2) -> rule4)) -> rule8) triple5) -> rule7) OR ((((((triple2) -> rule4)) -> rule8) ((triple4) -> rule5)) -> rule7) OR ((((((((triple3) -> rule6)) -> rule4)) -> rule8) triple5) -> rule7) OR ((((((((triple3) -> rule6)) -> rule4)) -> rule8) ((triple4) -> rule5)) -> rule7))] Charlie is blue.[(((triple2) -> rule4) OR ((((triple3) -> rule6)) -> rule4) OR ((((triple6) -> rule3)) -> rule4) OR ((((triple6 triple5) -> rule7)) -> rule1) OR ((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule1))] Fiona is blue.[(((triple7) -> rule4) OR ((((triple8) -> rule6)) -> rule4))] Fiona is white.[(((triple9) -> rule5))] Harry is young.[(((triple10) -> rule8))] @2: Bob is young.[(((((triple1) -> rule4)) -> rule8))] Fiona is young.[(((((triple7) -> rule4)) -> rule8) OR ((((((triple8) -> rule6)) -> rule4)) -> rule8))] Harry is green.[(((((triple10) -> rule8)) -> rule3))] @3: Fiona is big.[(((((((triple7) -> rule4)) -> rule8) ((triple9) -> rule5)) -> rule7) OR ((((((((triple8) -> rule6)) -> rule4)) -> rule8) ((triple9) -> rule5)) -> rule7))]