Bob is kind. Charlie is blue. Charlie is quiet. Charlie is not smart. Erin is blue. Erin is young. Fiona is not quiet. If Fiona is kind then Fiona is smart. If someone is young and blue then they are smart. If someone is blue and smart then they are red. All kind, smart people are red. If someone is young and not quiet then they are not big. All young, kind people are big. Blue, red people are kind. If Fiona is quiet and Fiona is not young then Fiona is not big.
Fiona is not big.
@0: Bob is kind.[(triple1)] Charlie is blue.[(triple2)] Charlie is not smart.[(triple4)] Charlie is quiet.[(triple3)] Erin is blue.[(triple5)] Erin is young.[(triple6)] Fiona is not quiet.[(triple7)] @1: Erin is smart.[(((triple6 triple5) -> rule2))] @2: Erin is red.[(((triple5 ((triple6 triple5) -> rule2)) -> rule3))] @3: Erin is kind.[(((triple5 ((triple5 ((triple6 triple5) -> rule2)) -> rule3)) -> rule7))] @4: Erin is big.[(((triple6 ((triple5 ((triple5 ((triple6 triple5) -> rule2)) -> rule3)) -> rule7)) -> rule6))]