Bob is big. Bob is cold. Bob is rough. Bob is round. Bob is smart. Dave is smart. Fiona is green. Round people are white. All white people are big. If someone is green and cold then they are white. If someone is cold and smart then they are green. If someone is big and round then they are green. All cold, smart people are white. All cold people are green. All cold people are round.
Fiona is green.
@0: Bob is big.[(triple1 OR ((((triple4) -> rule1)) -> rule2) OR ((((triple2 triple5) -> rule6)) -> rule2) OR ((((((triple2) -> rule8)) -> rule1)) -> rule2) OR ((((((triple2) -> rule7) triple2) -> rule3)) -> rule2) OR ((((((triple2 triple5) -> rule4) triple2) -> rule3)) -> rule2))] Bob is cold.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4 OR ((triple2) -> rule8))] Bob is smart.[(triple5)] Dave is smart.[(triple6)] Fiona is green.[(triple7)] @1: Bob is green.[(((triple2) -> rule7) OR ((triple1 triple4) -> rule5) OR ((triple2 triple5) -> rule4) OR ((triple1 ((triple2) -> rule8)) -> rule5) OR ((((((triple4) -> rule1)) -> rule2) triple4) -> rule5) OR ((((((triple2 triple5) -> rule6)) -> rule2) triple4) -> rule5) OR ((((((triple4) -> rule1)) -> rule2) ((triple2) -> rule8)) -> rule5) OR ((((((triple2 triple5) -> rule6)) -> rule2) ((triple2) -> rule8)) -> rule5) OR ((((((((triple2) -> rule8)) -> rule1)) -> rule2) triple4) -> rule5) OR ((((((((triple2) -> rule8)) -> rule1)) -> rule2) ((triple2) -> rule8)) -> rule5))] Bob is white.[(((triple4) -> rule1) OR ((triple2 triple5) -> rule6) OR ((((triple2) -> rule8)) -> rule1) OR ((((triple2) -> rule7) triple2) -> rule3) OR ((((triple1 triple4) -> rule5) triple2) -> rule3) OR ((((triple2 triple5) -> rule4) triple2) -> rule3) OR ((((triple1 ((triple2) -> rule8)) -> rule5) triple2) -> rule3))]