Charlie is green. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. Fiona is green. Fiona is nice. Fiona is rough. If Fiona is kind then Fiona is nice. If Charlie is green and Charlie is round then Charlie is rough. If something is kind and round then it is green. All nice things are young. If Charlie is kind and Charlie is nice then Charlie is young. All green, white things are kind. If something is round and green then it is white. All young, green things are white.
Charlie is not white.
@0: Charlie is green.[(triple1 OR ((triple2 triple5) -> rule3))] Charlie is kind.[(triple2 OR ((triple1 triple6) -> rule6) OR ((triple1 ((triple5 triple1) -> rule7)) -> rule6) OR ((triple1 ((triple7 triple1) -> rule8)) -> rule6) OR ((triple1 ((((triple3) -> rule4) triple1) -> rule8)) -> rule6))] Charlie is nice.[(triple3)] Charlie is rough.[(triple4 OR ((triple1 triple5) -> rule2) OR ((((triple2 triple5) -> rule3) triple5) -> rule2))] Charlie is round.[(triple5)] Charlie is white.[(triple6 OR ((triple5 triple1) -> rule7) OR ((triple7 triple1) -> rule8) OR ((triple5 ((triple2 triple5) -> rule3)) -> rule7) OR ((triple7 ((triple2 triple5) -> rule3)) -> rule8) OR ((((triple3) -> rule4) triple1) -> rule8) OR ((((triple2 triple3) -> rule5) triple1) -> rule8) OR ((((triple3) -> rule4) ((triple2 triple5) -> rule3)) -> rule8) OR ((((triple2 triple3) -> rule5) ((triple2 triple5) -> rule3)) -> rule8))] Charlie is young.[(triple7 OR ((triple3) -> rule4) OR ((triple2 triple3) -> rule5) OR ((((triple1 triple6) -> rule6) triple3) -> rule5) OR ((((triple1 ((triple5 triple1) -> rule7)) -> rule6) triple3) -> rule5))] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is rough.[(triple10)] @1: Fiona is young.[(((triple9) -> rule4))] @2: Fiona is white.[(((((triple9) -> rule4) triple8) -> rule8))] @3: Fiona is kind.[(((triple8 ((((triple9) -> rule4) triple8) -> rule8)) -> rule6))]