Bob is big. Bob is cold. Bob is green. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Fiona is big. Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Cold people are rough. If someone is cold and red then they are green. Quiet, red people are rough. If someone is rough and cold then they are green. If someone is cold then they are red. All red, big people are rough. All cold, rough people are red. Red, cold people are nice.
Fiona is cold.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3 OR ((triple2 triple6) -> rule2) OR ((triple7 triple2) -> rule4) OR ((triple2 ((triple2) -> rule5)) -> rule2) OR ((triple2 ((triple2 triple7) -> rule7)) -> rule2) OR ((((triple2) -> rule1) triple2) -> rule4) OR ((((triple5 triple6) -> rule3) triple2) -> rule4) OR ((((triple6 triple1) -> rule6) triple2) -> rule4) OR ((triple2 ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule2) OR ((((triple5 ((triple2) -> rule5)) -> rule3) triple2) -> rule4) OR ((((((triple2) -> rule5) triple1) -> rule6) triple2) -> rule4))] Bob is nice.[(triple4 OR ((triple6 triple2) -> rule8) OR ((((triple2) -> rule5) triple2) -> rule8) OR ((((triple2 triple7) -> rule7) triple2) -> rule8) OR ((((triple2 ((triple2) -> rule1)) -> rule7) triple2) -> rule8))] Bob is quiet.[(triple5)] Bob is red.[(triple6 OR ((triple2) -> rule5) OR ((triple2 triple7) -> rule7) OR ((triple2 ((triple2) -> rule1)) -> rule7))] Bob is rough.[(triple7 OR ((triple2) -> rule1) OR ((triple5 triple6) -> rule3) OR ((triple6 triple1) -> rule6) OR ((triple5 ((triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule5) triple1) -> rule6))] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10 OR ((triple14 triple9) -> rule4) OR ((triple9 triple13) -> rule2) OR ((triple9 ((triple9) -> rule5)) -> rule2) OR ((triple9 ((triple9 triple14) -> rule7)) -> rule2) OR ((((triple9) -> rule1) triple9) -> rule4) OR ((((triple12 triple13) -> rule3) triple9) -> rule4) OR ((((triple13 triple8) -> rule6) triple9) -> rule4) OR ((triple9 ((triple9 ((triple9) -> rule1)) -> rule7)) -> rule2) OR ((((triple12 ((triple9) -> rule5)) -> rule3) triple9) -> rule4) OR ((((((triple9) -> rule5) triple8) -> rule6) triple9) -> rule4))] Fiona is nice.[(triple11 OR ((triple13 triple9) -> rule8) OR ((((triple9) -> rule5) triple9) -> rule8) OR ((((triple9 triple14) -> rule7) triple9) -> rule8) OR ((((triple9 ((triple9) -> rule1)) -> rule7) triple9) -> rule8))] Fiona is quiet.[(triple12)] Fiona is red.[(triple13 OR ((triple9) -> rule5) OR ((triple9 triple14) -> rule7) OR ((triple9 ((triple9) -> rule1)) -> rule7))] Fiona is rough.[(triple14 OR ((triple9) -> rule1) OR ((triple12 triple13) -> rule3) OR ((triple13 triple8) -> rule6) OR ((triple12 ((triple9) -> rule5)) -> rule3) OR ((((triple9) -> rule5) triple8) -> rule6))]