Charlie is big. Charlie is kind. Charlie is smart. Charlie is white. Dave is big. Dave is blue. Dave is cold. Dave is kind. Dave is round. Dave is smart. Dave is white. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is smart. If someone is white and big then they are smart. Blue, kind people are cold. If someone is smart and cold then they are big. All kind people are blue. If someone is cold then they are round. If Dave is smart and Dave is white then Dave is big.
Dave is not round.
@0: Charlie is big.[(triple1 OR ((triple3 ((((triple2) -> rule4) triple2) -> rule2)) -> rule3))] Charlie is kind.[(triple2)] Charlie is smart.[(triple3 OR ((triple4 triple1) -> rule1))] Charlie is white.[(triple4)] Dave is big.[(triple5 OR ((triple10 triple11) -> rule6) OR ((triple10 triple7) -> rule3) OR ((triple10 ((triple6 triple8) -> rule2)) -> rule3) OR ((triple10 ((((triple8) -> rule4) triple8) -> rule2)) -> rule3))] Dave is blue.[(triple6 OR ((triple8) -> rule4))] Dave is cold.[(triple7 OR ((triple6 triple8) -> rule2) OR ((((triple8) -> rule4) triple8) -> rule2))] Dave is kind.[(triple8)] Dave is round.[(triple9 OR ((triple7) -> rule5) OR ((((triple6 triple8) -> rule2)) -> rule5) OR ((((((triple8) -> rule4) triple8) -> rule2)) -> rule5))] Dave is smart.[(triple10 OR ((triple11 triple5) -> rule1))] Dave is white.[(triple11)] Fiona is blue.[(triple12 OR ((triple14) -> rule4))] Fiona is cold.[(triple13 OR ((triple12 triple14) -> rule2) OR ((((triple14) -> rule4) triple14) -> rule2))] Fiona is kind.[(triple14)] Fiona is smart.[(triple15)] @1: Charlie is blue.[(((triple2) -> rule4))] Fiona is big.[(((triple15 triple13) -> rule3) OR ((triple15 ((triple12 triple14) -> rule2)) -> rule3) OR ((triple15 ((((triple14) -> rule4) triple14) -> rule2)) -> rule3))] Fiona is round.[(((triple13) -> rule5) OR ((((triple12 triple14) -> rule2)) -> rule5) OR ((((((triple14) -> rule4) triple14) -> rule2)) -> rule5))] @2: Charlie is cold.[(((((triple2) -> rule4) triple2) -> rule2))] @3: Charlie is round.[(((((((triple2) -> rule4) triple2) -> rule2)) -> rule5))]