Charlie is big. Charlie is blue. Charlie is cold. Charlie is nice. Charlie is red. Charlie is round. Charlie is white. Fiona is big. Fiona is cold. Fiona is not nice. Fiona is not red. Fiona is round. If someone is blue and not nice then they are white. All blue people are cold. All red people are big. Blue people are red. All nice, round people are red. If someone is white and not cold then they are round. Cold people are round. White people are round.
Fiona is round.
@0: Charlie is big.[(triple1 OR ((triple5) -> rule3) OR ((((triple2) -> rule4)) -> rule3) OR ((((triple4 triple6) -> rule5)) -> rule3) OR ((((triple4 ((triple3) -> rule7)) -> rule5)) -> rule3) OR ((((triple4 ((triple7) -> rule8)) -> rule5)) -> rule3) OR ((((triple4 ((((triple2) -> rule2)) -> rule7)) -> rule5)) -> rule3))] Charlie is blue.[(triple2)] Charlie is cold.[(triple3 OR ((triple2) -> rule2))] Charlie is nice.[(triple4)] Charlie is red.[(triple5 OR ((triple2) -> rule4) OR ((triple4 triple6) -> rule5) OR ((triple4 ((triple3) -> rule7)) -> rule5) OR ((triple4 ((triple7) -> rule8)) -> rule5) OR ((triple4 ((((triple2) -> rule2)) -> rule7)) -> rule5))] Charlie is round.[(triple6 OR ((triple3) -> rule7) OR ((triple7) -> rule8) OR ((((triple2) -> rule2)) -> rule7))] Charlie is white.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Fiona is not nice.[(triple10)] Fiona is not red.[(triple11)] Fiona is round.[(triple12 OR ((triple9) -> rule7))]