Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is quiet. Dave is smart. Fiona is cold. Fiona is kind. All big things are quiet. All smart things are kind. If Fiona is blue then Fiona is furry. Cold, blue things are big. Kind, quiet things are smart. Kind things are quiet. All smart things are furry. Furry things are smart.
Fiona is smart.
@0: Bob is big.[(triple1 OR ((triple3 triple2) -> rule4))] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4 OR ((((triple5 triple6) -> rule5)) -> rule7) OR ((((triple5 ((triple1) -> rule1)) -> rule5)) -> rule7) OR ((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule7) OR ((((triple5 ((((triple3 triple2) -> rule4)) -> rule1)) -> rule5)) -> rule7))] Bob is kind.[(triple5 OR ((((triple4) -> rule8)) -> rule2))] Bob is quiet.[(triple6 OR ((triple1) -> rule1) OR ((triple5) -> rule6) OR ((((triple3 triple2) -> rule4)) -> rule1) OR ((((((triple4) -> rule8)) -> rule2)) -> rule6))] Dave is big.[(triple7 OR ((triple9 triple8) -> rule4))] Dave is blue.[(triple8)] Dave is cold.[(triple9)] Dave is furry.[(triple10 OR ((triple13) -> rule7) OR ((((triple11 triple12) -> rule5)) -> rule7) OR ((((triple11 ((triple11) -> rule6)) -> rule5)) -> rule7) OR ((((triple11 ((triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple11 ((((triple9 triple8) -> rule4)) -> rule1)) -> rule5)) -> rule7))] Dave is kind.[(triple11 OR ((triple13) -> rule2) OR ((((triple10) -> rule8)) -> rule2))] Dave is quiet.[(triple12 OR ((triple11) -> rule6) OR ((triple7) -> rule1) OR ((((triple13) -> rule2)) -> rule6) OR ((((triple9 triple8) -> rule4)) -> rule1) OR ((((((triple10) -> rule8)) -> rule2)) -> rule6))] Dave is smart.[(triple13 OR ((triple10) -> rule8) OR ((triple11 triple12) -> rule5) OR ((triple11 ((triple11) -> rule6)) -> rule5) OR ((triple11 ((triple7) -> rule1)) -> rule5) OR ((triple11 ((((triple9 triple8) -> rule4)) -> rule1)) -> rule5))] Fiona is cold.[(triple14)] Fiona is kind.[(triple15)] @1: Bob is smart.[(((triple4) -> rule8) OR ((triple5 triple6) -> rule5) OR ((triple5 ((triple1) -> rule1)) -> rule5) OR ((triple5 ((triple5) -> rule6)) -> rule5) OR ((triple5 ((((triple3 triple2) -> rule4)) -> rule1)) -> rule5))] Fiona is quiet.[(((triple15) -> rule6))] @2: Fiona is smart.[(((triple15 ((triple15) -> rule6)) -> rule5))] @3: Fiona is furry.[(((((triple15 ((triple15) -> rule6)) -> rule5)) -> rule7))]