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