Anne is big. Anne is rough. Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is red. Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is red. Fiona is big. Fiona is blue. If someone is blue then they are rough. If someone is furry and cold then they are big. Blue people are rough.
Fiona is big.
@0: Anne is big.[(triple1)] Anne is rough.[(triple2)] Bob is big.[(triple3 OR ((triple6 triple5) -> rule2))] Bob is blue.[(triple4)] Bob is cold.[(triple5)] Bob is furry.[(triple6)] Bob is kind.[(triple7)] Bob is red.[(triple8)] Dave is big.[(triple9 OR ((triple12 triple11) -> rule2))] Dave is blue.[(triple10)] Dave is cold.[(triple11)] Dave is furry.[(triple12)] Dave is kind.[(triple13)] Dave is red.[(triple14)] Fiona is big.[(triple15)] Fiona is blue.[(triple16)] @1: Bob is rough.[(((triple4) -> rule1) OR ((triple4) -> rule3))] Dave is rough.[(((triple10) -> rule1) OR ((triple10) -> rule3))] Fiona is rough.[(((triple16) -> rule1) OR ((triple16) -> rule3))]