Bob is big. Bob is kind. Bob is rough. Fiona is big. Fiona is kind. Fiona is smart. Gary is furry. Gary is young. Harry is big. Harry is furry. All young, green things are furry. All rough, kind things are green. If something is big and furry then it is young. All rough, young things are kind. If Gary is green and Gary is smart then Gary is big. If something is big and green then it is young.
Gary is furry.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is rough.[(triple3)] Fiona is big.[(triple4)] Fiona is kind.[(triple5)] Fiona is smart.[(triple6)] Gary is furry.[(triple7)] Gary is young.[(triple8)] Harry is big.[(triple9)] Harry is furry.[(triple10)] @1: Bob is green.[(((triple3 triple2) -> rule2))] Harry is young.[(((triple9 triple10) -> rule3))] @2: Bob is young.[(((triple1 ((triple3 triple2) -> rule2)) -> rule6))] @3: Bob is furry.[(((((triple1 ((triple3 triple2) -> rule2)) -> rule6) ((triple3 triple2) -> rule2)) -> rule1))]