Bob is kind. Dave is cold. Dave is green. Dave is quiet. Dave is smart. Dave is white. Fiona is big. Fiona is quiet. Fiona is smart. Fiona is white. If something is kind and quiet then it is cold. All cold things are quiet. Cold, white things are smart. All big, quiet things are green. All cold, quiet things are kind. All green, white things are cold. If something is quiet then it is green. If Dave is green and Dave is kind then Dave is smart.
Fiona is not cold.
@0: Bob is kind.[(triple1)] Dave is cold.[(triple2 OR ((triple3 triple6) -> rule6) OR ((((triple4) -> rule7) triple6) -> rule6))] Dave is green.[(triple3 OR ((triple4) -> rule7) OR ((((triple2) -> rule2)) -> rule7))] Dave is quiet.[(triple4 OR ((triple2) -> rule2) OR ((((triple3 triple6) -> rule6)) -> rule2))] Dave is smart.[(triple5 OR ((triple2 triple6) -> rule3) OR ((triple3 ((triple2 triple4) -> rule5)) -> rule8) OR ((((triple3 triple6) -> rule6) triple6) -> rule3) OR ((((triple4) -> rule7) ((triple2 triple4) -> rule5)) -> rule8) OR ((triple3 ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule8) OR ((triple3 ((((triple3 triple6) -> rule6) triple4) -> rule5)) -> rule8) OR ((((((triple4) -> rule7) triple6) -> rule6) triple6) -> rule3) OR ((triple3 ((((triple3 triple6) -> rule6) ((triple2) -> rule2)) -> rule5)) -> rule8) OR ((((triple4) -> rule7) ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule8) OR ((((triple4) -> rule7) ((((triple3 triple6) -> rule6) triple4) -> rule5)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((triple2 triple4) -> rule5)) -> rule8) OR ((((triple4) -> rule7) ((((triple3 triple6) -> rule6) ((triple2) -> rule2)) -> rule5)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((triple3 triple6) -> rule6) triple4) -> rule5)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((triple3 triple6) -> rule6) ((triple2) -> rule2)) -> rule5)) -> rule8) OR ((triple3 ((triple2 ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5)) -> rule8) OR ((triple3 ((((((triple4) -> rule7) triple6) -> rule6) triple4) -> rule5)) -> rule8) OR ((triple3 ((((triple3 triple6) -> rule6) ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5)) -> rule8) OR ((triple3 ((((((triple4) -> rule7) triple6) -> rule6) ((triple2) -> rule2)) -> rule5)) -> rule8) OR ((((triple4) -> rule7) ((triple2 ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5)) -> rule8) OR ((((triple4) -> rule7) ((((((triple4) -> rule7) triple6) -> rule6) triple4) -> rule5)) -> rule8) OR ((triple3 ((((((triple4) -> rule7) triple6) -> rule6) ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5)) -> rule8) OR ((((triple4) -> rule7) ((((triple3 triple6) -> rule6) ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5)) -> rule8) OR ((((triple4) -> rule7) ((((((triple4) -> rule7) triple6) -> rule6) ((triple2) -> rule2)) -> rule5)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((triple2 ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((((triple4) -> rule7) triple6) -> rule6) triple4) -> rule5)) -> rule8) OR ((((triple4) -> rule7) ((((((triple4) -> rule7) triple6) -> rule6) ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((triple3 triple6) -> rule6) ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((((triple4) -> rule7) triple6) -> rule6) ((triple2) -> rule2)) -> rule5)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((((triple4) -> rule7) triple6) -> rule6) ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5)) -> rule8))] Dave is white.[(triple6)] Fiona is big.[(triple7)] Fiona is quiet.[(triple8)] Fiona is smart.[(triple9 OR ((((((triple8) -> rule7) triple10) -> rule6) triple10) -> rule3) OR ((((((triple7 triple8) -> rule4) triple10) -> rule6) triple10) -> rule3))] Fiona is white.[(triple10)] @1: Dave is kind.[(((triple2 triple4) -> rule5) OR ((triple2 ((triple2) -> rule2)) -> rule5) OR ((((triple3 triple6) -> rule6) triple4) -> rule5) OR ((((triple3 triple6) -> rule6) ((triple2) -> rule2)) -> rule5) OR ((triple2 ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5) OR ((((((triple4) -> rule7) triple6) -> rule6) triple4) -> rule5) OR ((((triple3 triple6) -> rule6) ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5) OR ((((((triple4) -> rule7) triple6) -> rule6) ((triple2) -> rule2)) -> rule5) OR ((((((triple4) -> rule7) triple6) -> rule6) ((((triple3 triple6) -> rule6)) -> rule2)) -> rule5))] Fiona is green.[(((triple8) -> rule7) OR ((triple7 triple8) -> rule4))] @2: Fiona is cold.[(((((triple8) -> rule7) triple10) -> rule6) OR ((((triple7 triple8) -> rule4) triple10) -> rule6))] @3: Fiona is kind.[(((((((triple8) -> rule7) triple10) -> rule6) triple8) -> rule5) OR ((((((triple7 triple8) -> rule4) triple10) -> rule6) triple8) -> rule5))]