Charlie is blue. Charlie is furry. Charlie is green. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. Fiona is not blue. Fiona is furry. Fiona is green. Fiona is rough. Fiona is not round. Fiona is not smart. Fiona is not young. All furry, young things are blue. If Charlie is smart and Charlie is rough then Charlie is blue. If something is round then it is smart. All young things are smart. All furry, green things are rough. If something is green and smart then it is round. If Charlie is rough and Charlie is green then Charlie is round. If something is blue then it is young.
Fiona is round.
@0: Charlie is blue.[(triple1 OR ((triple2 triple7) -> rule1) OR ((triple6 triple4) -> rule2) OR ((triple6 ((triple2 triple3) -> rule5)) -> rule2) OR ((((triple5) -> rule3) triple4) -> rule2) OR ((((triple7) -> rule4) triple4) -> rule2) OR ((((triple5) -> rule3) ((triple2 triple3) -> rule5)) -> rule2) OR ((((triple7) -> rule4) ((triple2 triple3) -> rule5)) -> rule2) OR ((((((triple4 triple3) -> rule7)) -> rule3) triple4) -> rule2) OR ((((((triple4 triple3) -> rule7)) -> rule3) ((triple2 triple3) -> rule5)) -> rule2) OR ((((((((triple2 triple3) -> rule5) triple3) -> rule7)) -> rule3) triple4) -> rule2) OR ((((((((triple2 triple3) -> rule5) triple3) -> rule7)) -> rule3) ((triple2 triple3) -> rule5)) -> rule2))] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is rough.[(triple4 OR ((triple2 triple3) -> rule5))] Charlie is round.[(triple5 OR ((triple3 triple6) -> rule6) OR ((triple4 triple3) -> rule7) OR ((triple3 ((triple7) -> rule4)) -> rule6) OR ((((triple2 triple3) -> rule5) triple3) -> rule7) OR ((triple3 ((((triple1) -> rule8)) -> rule4)) -> rule6))] Charlie is smart.[(triple6 OR ((triple5) -> rule3) OR ((triple7) -> rule4) OR ((((triple1) -> rule8)) -> rule4) OR ((((triple4 triple3) -> rule7)) -> rule3) OR ((((((triple2 triple3) -> rule5) triple3) -> rule7)) -> rule3))] Charlie is young.[(triple7 OR ((triple1) -> rule8) OR ((((triple6 triple4) -> rule2)) -> rule8) OR ((((triple6 ((triple2 triple3) -> rule5)) -> rule2)) -> rule8) OR ((((((triple5) -> rule3) triple4) -> rule2)) -> rule8) OR ((((((triple5) -> rule3) ((triple2 triple3) -> rule5)) -> rule2)) -> rule8) OR ((((((((triple4 triple3) -> rule7)) -> rule3) triple4) -> rule2)) -> rule8) OR ((((((((triple4 triple3) -> rule7)) -> rule3) ((triple2 triple3) -> rule5)) -> rule2)) -> rule8) OR ((((((((((triple2 triple3) -> rule5) triple3) -> rule7)) -> rule3) triple4) -> rule2)) -> rule8) OR ((((((((((triple2 triple3) -> rule5) triple3) -> rule7)) -> rule3) ((triple2 triple3) -> rule5)) -> rule2)) -> rule8))] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is not blue.[(triple8)] Fiona is not round.[(triple12)] Fiona is not smart.[(triple13)] Fiona is not young.[(triple14)] Fiona is rough.[(triple11 OR ((triple9 triple10) -> rule5))]