Bob is red. Dave is big. Dave is not furry. Dave is red. Dave is young. Fiona is young. Gary is not red. If Bob is smart then Bob is red. If Fiona is rough then Fiona is furry. If Fiona is smart then Fiona is blue. Blue things are red. If Fiona is blue then Fiona is young. All red things are rough. Young things are smart.
Fiona is furry.
@0: Bob is red.[(triple1)] Dave is big.[(triple2)] Dave is not furry.[(triple3)] Dave is red.[(triple4)] Dave is young.[(triple5)] Fiona is young.[(triple6)] Gary is not red.[(triple7)] @1: Bob is rough.[(((triple1) -> rule6))] Dave is rough.[(((triple4) -> rule6))] Dave is smart.[(((triple5) -> rule7))] Fiona is smart.[(((triple6) -> rule7))] @2: Fiona is blue.[(((((triple6) -> rule7)) -> rule3))] @3: Fiona is red.[(((((((triple6) -> rule7)) -> rule3)) -> rule4))] @4: Fiona is rough.[(((((((((triple6) -> rule7)) -> rule3)) -> rule4)) -> rule6))] @5: Fiona is furry.[(((((((((((triple6) -> rule7)) -> rule3)) -> rule4)) -> rule6)) -> rule2))]