Bob is big. Bob is blue. Bob is cold. Bob is smart. Bob is young. Erin is blue. Erin is furry. Erin is smart. Fiona is cold. Fiona is furry. Fiona is green. Fiona is smart. All blue, big people are cold. All green, big people are young. If someone is smart then they are furry. All blue, smart people are cold. Furry people are cold. Furry people are young. Smart people are green. If someone is cold and blue then they are smart.
Fiona is not cold.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3 OR ((triple2 triple1) -> rule1) OR ((triple2 triple4) -> rule4) OR ((((triple4) -> rule3)) -> rule5))] Bob is smart.[(triple4 OR ((triple3 triple2) -> rule8) OR ((((triple2 triple1) -> rule1) triple2) -> rule8))] Bob is young.[(triple5 OR ((((triple4) -> rule3)) -> rule6) OR ((((triple4) -> rule7) triple1) -> rule2) OR ((((((triple3 triple2) -> rule8)) -> rule3)) -> rule6) OR ((((((triple3 triple2) -> rule8)) -> rule7) triple1) -> rule2) OR ((((((((triple2 triple1) -> rule1) triple2) -> rule8)) -> rule3)) -> rule6) OR ((((((((triple2 triple1) -> rule1) triple2) -> rule8)) -> rule7) triple1) -> rule2))] Erin is blue.[(triple6)] Erin is furry.[(triple7 OR ((triple8) -> rule3))] Erin is smart.[(triple8 OR ((((triple7) -> rule5) triple6) -> rule8))] Fiona is cold.[(triple9 OR ((triple10) -> rule5) OR ((((triple12) -> rule3)) -> rule5))] Fiona is furry.[(triple10 OR ((triple12) -> rule3))] Fiona is green.[(triple11 OR ((triple12) -> rule7))] Fiona is smart.[(triple12)] @1: Bob is furry.[(((triple4) -> rule3) OR ((((triple3 triple2) -> rule8)) -> rule3) OR ((((((triple2 triple1) -> rule1) triple2) -> rule8)) -> rule3))] Bob is green.[(((triple4) -> rule7) OR ((((triple3 triple2) -> rule8)) -> rule7) OR ((((((triple2 triple1) -> rule1) triple2) -> rule8)) -> rule7))] Erin is cold.[(((triple7) -> rule5) OR ((triple6 triple8) -> rule4) OR ((((triple8) -> rule3)) -> rule5))] Erin is green.[(((triple8) -> rule7) OR ((((((triple7) -> rule5) triple6) -> rule8)) -> rule7))] Erin is young.[(((triple7) -> rule6) OR ((((triple8) -> rule3)) -> rule6))] Fiona is young.[(((triple10) -> rule6) OR ((((triple12) -> rule3)) -> rule6))]