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