Bob is big. Bob is blue. Bob is cold. Bob is smart. Erin is big. Erin is cold. Erin is furry. Fiona is big. Fiona is cold. Fiona is green. Fiona is quiet. Harry is green. If Fiona is green then Fiona is cold. All cold things are blue. If something is green and blue then it is quiet. All blue, smart things are quiet. All furry, green things are smart. If something is quiet then it is green. If something is cold then it is big. All blue things are smart.
Harry is smart.
@0: Bob is big.[(triple1 OR ((triple3) -> rule7))] Bob is blue.[(triple2 OR ((triple3) -> rule2))] Bob is cold.[(triple3)] Bob is smart.[(triple4 OR ((triple2) -> rule8) OR ((((triple3) -> rule2)) -> rule8))] Erin is big.[(triple5 OR ((triple6) -> rule7))] Erin is cold.[(triple6)] Erin is furry.[(triple7)] Fiona is big.[(triple8 OR ((triple9) -> rule7) OR ((((triple10) -> rule1)) -> rule7) OR ((((((triple11) -> rule6)) -> rule1)) -> rule7))] Fiona is cold.[(triple9 OR ((triple10) -> rule1) OR ((((triple11) -> rule6)) -> rule1))] Fiona is green.[(triple10 OR ((triple11) -> rule6) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule8)) -> rule4)) -> rule6))] Fiona is quiet.[(triple11 OR ((triple10 ((triple9) -> rule2)) -> rule3) OR ((triple10 ((((triple10) -> rule1)) -> rule2)) -> rule3) OR ((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule8)) -> rule4) OR ((((((triple10) -> rule1)) -> rule2) ((((triple9) -> rule2)) -> rule8)) -> rule4) OR ((((triple9) -> rule2) ((((((triple10) -> rule1)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple10) -> rule1)) -> rule2) ((((((triple10) -> rule1)) -> rule2)) -> rule8)) -> rule4))] Harry is green.[(triple12)] @1: Bob is quiet.[(((triple2 triple4) -> rule4) OR ((triple2 ((triple2) -> rule8)) -> rule4) OR ((((triple3) -> rule2) triple4) -> rule4) OR ((((triple3) -> rule2) ((triple2) -> rule8)) -> rule4) OR ((triple2 ((((triple3) -> rule2)) -> rule8)) -> rule4) OR ((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule8)) -> rule4))] Erin is blue.[(((triple6) -> rule2))] Fiona is blue.[(((triple9) -> rule2) OR ((((triple10) -> rule1)) -> rule2) OR ((((((triple11) -> rule6)) -> rule1)) -> rule2))] @2: Bob is green.[(((((triple2 triple4) -> rule4)) -> rule6) OR ((((triple2 ((triple2) -> rule8)) -> rule4)) -> rule6) OR ((((((triple3) -> rule2) triple4) -> rule4)) -> rule6) OR ((((((triple3) -> rule2) ((triple2) -> rule8)) -> rule4)) -> rule6) OR ((((triple2 ((((triple3) -> rule2)) -> rule8)) -> rule4)) -> rule6) OR ((((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule8)) -> rule4)) -> rule6))] Erin is smart.[(((((triple6) -> rule2)) -> rule8))] Fiona is smart.[(((((triple9) -> rule2)) -> rule8) OR ((((((triple10) -> rule1)) -> rule2)) -> rule8) OR ((((((((triple11) -> rule6)) -> rule1)) -> rule2)) -> rule8))] @3: Erin is quiet.[(((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule8)) -> rule4))] @4: Erin is green.[(((((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule8)) -> rule4)) -> rule6))]