Anne is cold. Anne is young. Bob is blue. Bob is cold. Bob is kind. Bob is red. Bob is young. Fiona is blue. Fiona is red. Fiona is smart. Red, young people are smart. If Anne is smart then Anne is cold. All blue people are smart. Rough, red people are smart. If Fiona is rough and Fiona is blue then Fiona is red. If someone is young then they are smart. Red people are blue. If someone is cold then they are red.
Fiona is smart.
@0: Anne is cold.[(triple1 OR ((((triple2) -> rule6)) -> rule2))] Anne is young.[(triple2)] Bob is blue.[(triple3 OR ((triple6) -> rule7) OR ((((triple4) -> rule8)) -> rule7))] Bob is cold.[(triple4)] Bob is kind.[(triple5)] Bob is red.[(triple6 OR ((triple4) -> rule8))] Bob is young.[(triple7)] Fiona is blue.[(triple8 OR ((triple9) -> rule7))] Fiona is red.[(triple9)] Fiona is smart.[(triple10 OR ((triple8) -> rule3) OR ((((triple9) -> rule7)) -> rule3))] @1: Anne is red.[(((triple1) -> rule8) OR ((((((triple2) -> rule6)) -> rule2)) -> rule8))] Anne is smart.[(((triple2) -> rule6) OR ((((triple1) -> rule8) triple2) -> rule1) OR ((((((triple1) -> rule8)) -> rule7)) -> rule3))] Bob is smart.[(((triple3) -> rule3) OR ((triple7) -> rule6) OR ((triple6 triple7) -> rule1) OR ((((triple6) -> rule7)) -> rule3) OR ((((triple4) -> rule8) triple7) -> rule1) OR ((((((triple4) -> rule8)) -> rule7)) -> rule3))] @2: Anne is blue.[(((((triple1) -> rule8)) -> rule7) OR ((((((((triple2) -> rule6)) -> rule2)) -> rule8)) -> rule7))]