Anne is furry. Bob is red. Charlie is furry. Fiona is big. If someone is big then they are smart. All furry people are red. Red, white people are young. All red people are furry. All furry people are big. If Fiona is white and Fiona is blue then Fiona is smart.
Charlie is furry.
@0: Anne is furry.[(triple1)] Bob is red.[(triple2)] Charlie is furry.[(triple3)] Fiona is big.[(triple4)] @1: Anne is big.[(((triple1) -> rule5))] Anne is red.[(((triple1) -> rule2))] Bob is furry.[(((triple2) -> rule4))] Charlie is big.[(((triple3) -> rule5))] Charlie is red.[(((triple3) -> rule2))] Fiona is smart.[(((triple4) -> rule1))] @2: Anne is smart.[(((((triple1) -> rule5)) -> rule1))] Bob is big.[(((((triple2) -> rule4)) -> rule5))] Charlie is smart.[(((((triple3) -> rule5)) -> rule1))] @3: Bob is smart.[(((((((triple2) -> rule4)) -> rule5)) -> rule1))]