Charlie is big. Charlie is kind. Charlie is red. Charlie is smart. Charlie is white. Charlie is young. Dave is big. Dave is cold. Dave is kind. Dave is red. Dave is smart. Dave is white. Fiona is kind. Gary is kind. Gary is red. Gary is young. If someone is kind and big then they are smart. If someone is red then they are smart. All big people are smart. Young people are smart. All cold people are young. Cold people are big. If Fiona is big and Fiona is cold then Fiona is white. If someone is cold then they are red.
Gary is not smart.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2)] Charlie is red.[(triple3)] Charlie is smart.[(triple4 OR ((triple1) -> rule3) OR ((triple3) -> rule2) OR ((triple6) -> rule4) OR ((triple2 triple1) -> rule1))] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Dave is big.[(triple7 OR ((triple8) -> rule6))] Dave is cold.[(triple8)] Dave is kind.[(triple9)] Dave is red.[(triple10 OR ((triple8) -> rule8))] Dave is smart.[(triple11 OR ((triple10) -> rule2) OR ((triple7) -> rule3) OR ((triple9 triple7) -> rule1) OR ((((triple8) -> rule5)) -> rule4) OR ((((triple8) -> rule6)) -> rule3) OR ((((triple8) -> rule8)) -> rule2) OR ((triple9 ((triple8) -> rule6)) -> rule1))] Dave is white.[(triple12)] Fiona is kind.[(triple13)] Gary is kind.[(triple14)] Gary is red.[(triple15)] Gary is young.[(triple16)] @1: Dave is young.[(((triple8) -> rule5))] Gary is smart.[(((triple15) -> rule2) OR ((triple16) -> rule4))]