Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is rough. Bob is smart. Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is nice. Fiona is rough. Fiona is smart. If something is big and furry then it is cold. Smart things are rough. All rough things are nice. All big things are rough. If something is cold then it is smart. If something is green and big then it is nice. All furry things are green. If something is smart and nice then it is cold.
Fiona is not rough.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple1 triple3) -> rule1) OR ((triple7 triple5) -> rule8) OR ((triple7 ((triple6) -> rule3)) -> rule8) OR ((triple7 ((triple4 triple1) -> rule6)) -> rule8) OR ((triple7 ((((triple1) -> rule4)) -> rule3)) -> rule8) OR ((triple7 ((((triple7) -> rule2)) -> rule3)) -> rule8) OR ((triple7 ((((triple3) -> rule7) triple1) -> rule6)) -> rule8))] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((triple3) -> rule7))] Bob is nice.[(triple5 OR ((triple6) -> rule3) OR ((triple4 triple1) -> rule6) OR ((((triple1) -> rule4)) -> rule3) OR ((((triple7) -> rule2)) -> rule3) OR ((((triple3) -> rule7) triple1) -> rule6) OR ((((((triple2) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple1 triple3) -> rule1)) -> rule5)) -> rule2)) -> rule3))] Bob is rough.[(triple6 OR ((triple1) -> rule4) OR ((triple7) -> rule2) OR ((((triple2) -> rule5)) -> rule2) OR ((((((triple1 triple3) -> rule1)) -> rule5)) -> rule2))] Bob is smart.[(triple7 OR ((triple2) -> rule5) OR ((((triple1 triple3) -> rule1)) -> rule5))] Fiona is big.[(triple8)] Fiona is cold.[(triple9 OR ((triple14 triple12) -> rule8) OR ((triple8 triple10) -> rule1) OR ((triple14 ((triple13) -> rule3)) -> rule8) OR ((triple14 ((triple11 triple8) -> rule6)) -> rule8) OR ((triple14 ((((triple14) -> rule2)) -> rule3)) -> rule8) OR ((triple14 ((((triple8) -> rule4)) -> rule3)) -> rule8) OR ((triple14 ((((triple10) -> rule7) triple8) -> rule6)) -> rule8))] Fiona is furry.[(triple10)] Fiona is green.[(triple11 OR ((triple10) -> rule7))] Fiona is nice.[(triple12 OR ((triple13) -> rule3) OR ((triple11 triple8) -> rule6) OR ((((triple14) -> rule2)) -> rule3) OR ((((triple8) -> rule4)) -> rule3) OR ((((triple10) -> rule7) triple8) -> rule6) OR ((((((triple9) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple8 triple10) -> rule1)) -> rule5)) -> rule2)) -> rule3))] Fiona is rough.[(triple13 OR ((triple14) -> rule2) OR ((triple8) -> rule4) OR ((((triple9) -> rule5)) -> rule2) OR ((((((triple8 triple10) -> rule1)) -> rule5)) -> rule2))] Fiona is smart.[(triple14 OR ((triple9) -> rule5) OR ((((triple8 triple10) -> rule1)) -> rule5))]