Charlie is big. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is smart. Dave is big. Dave is furry. Dave is quiet. Dave is red. Fiona is red. Fiona is smart. Gary is big. Gary is blue. All big, smart things are kind. All furry things are smart. If Fiona is smart then Fiona is kind. All big things are red. If something is blue then it is red. Big things are kind. If Dave is big and Dave is quiet then Dave is smart. If something is quiet and blue then it is furry.
Fiona is not furry.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3 OR ((triple5 triple2) -> rule8))] Charlie is kind.[(triple4 OR ((triple1) -> rule6) OR ((triple1 triple7) -> rule1) OR ((triple1 ((triple3) -> rule2)) -> rule1) OR ((triple1 ((((triple5 triple2) -> rule8)) -> rule2)) -> rule1))] Charlie is quiet.[(triple5)] Charlie is red.[(triple6 OR ((triple1) -> rule4) OR ((triple2) -> rule5))] Charlie is smart.[(triple7 OR ((triple3) -> rule2) OR ((((triple5 triple2) -> rule8)) -> rule2))] Dave is big.[(triple8)] Dave is furry.[(triple9)] Dave is quiet.[(triple10)] Dave is red.[(triple11 OR ((triple8) -> rule4))] Fiona is red.[(triple12)] Fiona is smart.[(triple13)] Gary is big.[(triple14)] Gary is blue.[(triple15)] @1: Dave is kind.[(((triple8) -> rule6) OR ((triple8 ((triple9) -> rule2)) -> rule1) OR ((triple8 ((triple8 triple10) -> rule7)) -> rule1))] Dave is smart.[(((triple9) -> rule2) OR ((triple8 triple10) -> rule7))] Fiona is kind.[(((triple13) -> rule3))] Gary is kind.[(((triple14) -> rule6))] Gary is red.[(((triple14) -> rule4) OR ((triple15) -> rule5))]