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