Dave is big. Dave is cold. Dave is red. Dave is smart. Dave is young. Fiona is big. Fiona is blue. Fiona is cold. Fiona is red. Fiona is smart. Fiona is white. Fiona is young. Big people are red. If someone is cold then they are young. Cold, blue people are smart. If Fiona is young and Fiona is big then Fiona is cold. White people are big. All big people are blue.
Fiona is cold.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is red.[(triple3 OR ((triple1) -> rule1))] Dave is smart.[(triple4 OR ((triple2 ((triple1) -> rule6)) -> rule3))] Dave is young.[(triple5 OR ((triple2) -> rule2))] Fiona is big.[(triple6 OR ((triple11) -> rule5))] Fiona is blue.[(triple7 OR ((triple6) -> rule6) OR ((((triple11) -> rule5)) -> rule6))] Fiona is cold.[(triple8 OR ((triple12 triple6) -> rule4) OR ((triple12 ((triple11) -> rule5)) -> rule4))] Fiona is red.[(triple9 OR ((triple6) -> rule1) OR ((((triple11) -> rule5)) -> rule1))] Fiona is smart.[(triple10 OR ((triple8 triple7) -> rule3) OR ((triple8 ((triple6) -> rule6)) -> rule3) OR ((((triple12 triple6) -> rule4) triple7) -> rule3) OR ((((triple12 triple6) -> rule4) ((triple6) -> rule6)) -> rule3) OR ((triple8 ((((triple11) -> rule5)) -> rule6)) -> rule3) OR ((((triple12 ((triple11) -> rule5)) -> rule4) triple7) -> rule3) OR ((((triple12 triple6) -> rule4) ((((triple11) -> rule5)) -> rule6)) -> rule3) OR ((((triple12 ((triple11) -> rule5)) -> rule4) ((triple6) -> rule6)) -> rule3) OR ((((triple12 ((triple11) -> rule5)) -> rule4) ((((triple11) -> rule5)) -> rule6)) -> rule3))] Fiona is white.[(triple11)] Fiona is young.[(triple12 OR ((triple8) -> rule2))] @1: Dave is blue.[(((triple1) -> rule6))]