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